Thanks for the nudge (public philanthropy has positive externalities!) I just did the same, and my day is better for it