English translation of protocol description

Fixes #2