Davidmanheim comments on Make a $10 donation into $35

[Davidmanheim]

Ditto, ~3 minutes, +$35 for MIRI.