[tor-commits] [user-manual/master] Bug 20739: Use one manual for all platforms