Board Thread:General Discussion/@comment-32094204-20171124011523/@comment-32094204-20171124050639

Changes will come and highlights should be a tool that be added. However, it should not be done since for a while, at least hopefully when the format of discussions change.