[tor-commits] [ooni-probe/master] Use details tags to tuck verbose messages (#711)