Move inactive git repos to attic

Hi, was just pulling stats regarding our git repositories and found that quite a few have been inactive for over six months...

  • censorship-timeline
  • check
  • compass
  • curriculum
  • erebus
  • flashproxy
  • gettor
  • githax
  • guardfraction
  • metrics-tasks
  • ooni_reader
  • ooni_spec
  • ooni_web
  • oonib
  • pluggable-transports_bundle
  • pluggable-transports_fog
  • pluggable-transports_obfs4
  • pluggable-transports_obfsproxy
  • pluggable-transports_obfsproxy-legacy
  • pluggable-transports_pyptlib
  • pups
  • pytorctl
  • stegotorus
  • support-tools
  • thandy
  • tor-blog
  • tor-brochure
  • tor-design-2012
  • tor-fw-helper
  • tor-glossary
  • tor-manual
  • tor-ramdisk
  • torbrowser
  • tordnsel
  • torflow
  • torperf
  • weather
  • webstats

No doubt this clutter makes things harder to navigate for newcomers. Any reason not to move these to the attic?