Re: [tor-dev] additional triggers for DocTor?