Merge branch 'master' of gl.kwarc.info:KWARC/kwarc.info/www

1 job for master in 1 minute and 52 seconds (queued for 1 second)