Add protocols.texi.