[tor-commits] [orbot/master] "Android" was used instead of "Orbot" in INSTALL