[tor-dev] Pushed HS proposals on git