Docs that have not yet been fully migrated to mediawiki. The most important docs (fonti and perhaps speedyintro) will probably be continued to be updated here even after mediawiki migration.