[tor-commits] [gettor/master] Send out the short user manual together with GetTor packages.