Due to a problem on the older server provided by my Uni's ICT department, I decided to move this wiki to the newer server. However, now I am having problems updating (some of?) my wiki pages. Need some time to check this out, but at the moment I think I am affected by this. Anyway, if this is NOT fixable, I may have to revert the old server… if they still keep that one running. Hopefully we can make it work on this new server.