[tor-commits] [user-manual/master] Restore compatibility with yelp-tools 3.4