Clonk-Karl and me wrote some scripts to automatically update the documentation once a day. Now if you commit patches to the documentation, you don't have to wait for an infinity to see the changes.  I hope with this convenience, we will be able to modernize the docs quickly :-)