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/ or wikia.com.
Special characters for copy & paste.