Miller comments on Should rationalists put much thought into tipping and/​or voting?