Any updates on this joint Brill/DeGruyter issue would be greatly appreciated.

No access since today. Goes straight to home page.

I had it done already, same version info.
Both 4.0.0 and 4.0.3 appear to work now after updating from MW 1.39.8 to 1.39.10.

Thanks, I checked the diff and the MobileFormatter.php I have is the same as the patched version. I tried downloading again 1.39 from here https://github.com/wikimedia/mediawiki-extensions-MobileFrontend/tree/REL1_39 but I still get same version number

2.4.0 (60e7307) 08:31, 11 April 2023

I do confirm that I ran composer updates for core and extensions and Minerva skin. The problem with the incompatibility is that MobileFrontend does not appear to support versions of HtmlFormatter above 3.0.1 whereas the other extensions do not support that version as being too old.

Same issue for me discovered years after the upgrade... https://www.mediawiki.org/wiki/Topic:X7sbnso8xrjtm598

The point of security is making things harder to people (or bots) with malicious intent. That said, I am not against changing Special:Version. At the very least, it should not be accessible (or some of its critical information) to non-logged in users.

I don't think it would be useless. It would remove it from the source of millions of pages and require from anyone who wants to know the version an extra step and knowledge of the software, rather than simply viewing source.

Right, thanks, but how do I get version 97fda47?

Thanks, David, for inviting me to comment.