Infrastructure

The wiki CSS is not very useful when using a touch device (the triangle next to the history button is clickable but it is a "mouse-over button" to get other options). This might be already solved with the new MediaWiki version, so waiting if that already fixes the "problem". Moreover this might only a problem of/for admins (so priority low)