Re: [tor-dev] Extending deadline for small features in 0.2.3.x by one week (to the 13th)