Remove commented-out messages in Crotos
Add documentation for Crotos messages