Board Thread:General Discussion/@comment-43505-20161008233233/@comment-18172179-20161017014733

A week later, it's clear everyone agrees with the merge. If DrJD or any other user wishes to proceed, feel free to do so.