Notice that the comments are, by default (this can be changed), coloured red by
T
E
Xworks
, so we see
them well.