documentation comments are now always skipped but saved as special tokens at the Scanner