Board Thread:General Discussion/@comment-30631578-20170603162557/@comment-31048361-20170707004237

I agree with deleting comments, but I don't think we should rename most of the pages to what jammers call them.