Board Thread:Decisions/@comment-30330407-20170626134504/@comment-27032020-20170720213106

Why are we talking about this minor thing, I think we should remove the quotation marks without discussing. It's OBVIOUSLY better.