https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87050
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- A replacement for MetaHTML is already available, we just need to switch to using it. https://gcc.gnu.org/ml/gcc-patches/2018-06/msg00176.html