3 commits

Author	SHA1	Message	Date
Yarmo Mackenbach	e301ad042c	Improve phrasing of key upload command	2020-07-16 20:00:15 +02:00
Yarmo Mackenbach	5d3781398d	Improve proof snippets	2020-07-16 12:57:12 +02:00
Yarmo Mackenbach	e6a62d453d	Add discourse guide	2020-07-06 11:51:10 +02:00