[tor-commits] [torbutton/master] Bug 5965: Comment stuff we want to preserve for Android