+
+5.6. Encoding
+-------------
+
+* Pages should be encoded in UTF-8, with Unix-style newlines if possible
+(although that's not critical). Avoid using verbatim special symbols, use
+HTML character entities instead, for example for cursor arrows: →
+← ↑ ↓. Diacriticals on vowels and other special letters are
+probably ok by now, so don't bother with é and friends, just type é.