Re: [tor-dev] [PATCH] torspec: Keep proposal-status.txt up to date