Factor out protocol23 to <https://github.com/HughG/protocol23>.