chiark / gitweb /
man: document message timestamping/sequence number API