Renames protocol.txt to protocol.rst.