[tor-commits] [tor/master] Resolve bug 3448: remove mention of tor-ops (which is not in use)