Thread:Support/HTML in MediaWiki:Mobile-frontend-page-menu-history/reply

Yes you are right. Fixed in https://gerrit.wikimedia.org/r/17199