Remove Onionoo's placeholder page on index.html
Two months ago, on July 6, we reduced Onionoo's big index.html page to a simple placeholder page pointing to the Onionoo page on Tor Metrics which basically contains a copy of Onionoo's former index.html page.
We said on that placeholder page that it will be removed in the future. We didn't say how long in the future, but I believe that most visitors of Onionoo's homepage are developers who will be able to recover from not finding the protocol there anymore.
If two months is too soon for removing the placeholder page, let's try to schedule a better time. The branch will probably not age so quickly. We can still merge it in one month or four, if that's a better time than now.