[tbb-commits] [torbutton/maint-1.9.6] Bug 21243: Fix up user manual labels