Hi Nikos, I got a bit lost in this discussion: what's really needed to make the style-up of the Wiki? The Mediawiki version we run is fairly new, so that's not really needed to be updated, right? Just to re-sync myself, Markus