get rid of metrics tech report page now that research tech report page exists
There are two Tor pages listing tech reports. I fear one of them is more recent than the other. We should get rid of the old one so people don't get confused.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information