[tor-commits] [user-manual/master] Merge remote-tracking branch 'ggus/tb8-updates'