[tor-commits] [check/master] Remove short user manual, for now