On Mon, Apr 27, 2020 at 12:55:20PM +0100, Brian wrote: > https://wiki.debian.org/DebianWiki/FAQ OK... I don't know how anyone is expected to find that page, but now that I know it exists, I guess I can add it to the bot's factoids in #debian, and then eventually knowledge of it will start to spread. Thanks.