These are obsolete markers, and in some cases they repeat the
information already present in the comment header.