On Fri, Jun 9, 2023 at 9:13 AM Thiemo Kreuz <thiemo.kreuz(a)wikimedia.de>
wrote:
Both pages start with <source>, which is a
deprecated alias for
<syntaxhighlight>. Replacing it with e.g. <nowiki> will remove the
pages from the category.
Or just get rid of it. Adding a formatting tag was useful back in 2011 when
that page was created, because MediaWiki did not automatically
syntax-highlight JS pages back then. But it does now, so those tags don't
serve any purpose.