Improve rendering of GF module page content

by not creating a Label for each token, benefits:

  - the page is rendered much faster
  - browser search now works
  - copy-paste works
  - whitespace is correctly preserved

TODO: This should be done for regular comments as well.
Highlight incorrect line after "Check module"