Initial import of protocol23, previously part of <https://github.com/HughG/Discordians>.