Move doc comments to comments channel (fixes #465)
Define a constant for the comments channel number
Merge pull request #723 from sharwell/fix-465

Move DOC_COMMENT tokens to the comments channel