Dec 28 2018
The first question to agree upon is whether there should be a central support platform for all developer/admin related questions. Probably. There are presently too many different places to end up asking the same question and not getting a reply. A hundred volunteers on one platform is likely to be better and more efficient than the same hundred volunteers divided on ten separated individual platforms.
Mar 22 2018
As someone who was not following the topic mentioned in the OP, I'm pretty sure User:Waanders' reply was visible to me before too.
May 22 2017
Jan 17 2017
A relevant comment regarding SELinux made at extension discussion page: SELinux "fix" for pygments with MW 1.26.
Jul 15 2016
Solved (kind of).
Jul 14 2016
Reported it on support desk at: https://www.mediawiki.org/wiki/Topic:T7po6uisor9f7nz0 too
Jul 13 2016
No, sorry, should I have done that first?