[tor-commits] [metrics-web/master] Add HTML IDs to Onionoo's protocol page.