docs: add buxton-protocol(7)