[tor-commits] [githax/master] replace git:// with https:// in Howto.txt