Add documentation for Crotos messages