Who is in charge of wiki.php.net and updates for its software? I ask
because every time I am (logged in) on that site I see warnings such as
Hotfix release available: 2018-04-22b "Greebo". upgrade now!
Hotfix release available: 2018-04-22a "Greebo". upgrade now!
New release available: 2018-04-22 "Greebo". upgrade now!
Hotfix release available: 2017-02-19f "Frusterick Manners". upgrade now!
I don't know if any of these updates are critical but maybe the software
should be updated anyway?