Ok, so we have a budget for the #GNOME Foundation! It'll probably take a while (at least a month...) for us to be able to report on it. But at least the first part of the job (agreeing on what money to plan for, and how to spend it) is done, which is a partial success :)