[tor-commits] [ooni-probe/master] Merge pull request #536 from irl/fix/debian-stable-install-doc