Please shut down compass.torproject.org

The redirect form on ​https://compass.torproject.org/ has been in place for a couple of weeks now, and it says "This page will be removed January 15, 2018." Time to remove that page.

Please kill the process, remove the user account and DNS entry at any time.