Board Thread:General Discussion/@comment-27996636-20181016093243/@comment-32271305-20181016210053

Then a poll might not be needed after all, since this page has already been highlighted all day and we already seem to have a majority.