Thanks! Mostly I just hated to think that a developer might fall into protracted customer support discussion asking for their account to be refunded, if the $25 turns out to be a hardship. I wouldn't expect this to impact many people, but you never know.
I'd also be curious what happens if people ask the normal channels for the refund, of course.
