chiark / gitweb /
docs: rework protocol documentation a bit.