writing up a specification for the PiCL keyserver protocol - View it on GitHub