This is an old revision of the document!
This will have real text soon…. Final home might be a place like https://www.wikidot.com/
Special characters for copy & paste.