I think we should include a copy of the protocol spec in the documentation directory, and refer to it there.