Board Thread:General Discussion/@comment-31426952-20180418102343/@comment-33436465-20180418110840

Fine. I just don't think that the really minor edits do not really matter.