How to write issues Please do NOT use issues to ask questions: use the Gitter chat room for that. Rest of this is TODO.