We should move proposal 180 out of the `proposals/` directory, tidy it up, and specify which parts are implemented and in which Tor version.