Thank you for this reply, @andi -- it works well on http://metis.strw.leidenuniv.nl/wiki/. I would have a follow-up question, however: Will this change be preserved when I update the wiki (manually or using the update plugin)? If not, is there a way to make this change such that it 'survives' updates? Thank you!