[tor-dev] Post-quantum proposals #269 and #270