streamline doc formatting

- it's implicit that the description is the description and we got
  no other subsections but the example

- the prototype is generated by vmodtool already
.gitlab-ci.yml not found in this commit