[tor-commits] [manual/master] Delete repetitive 'mobile-tor'