[tor-commits] [metrics-web/master] Make another minor tweak to the #20049 fix.