Re: [tor-dev] Trac priorities and severities