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.
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.