On the one hand, this sounds like a lot of money, on the other, it's ~765k USD. If you just go off the rough assumption that 1 engineer/100k USD/yr then it's either a team of 7 for a bit over a year or a single engineer for a decade or so. I don't know if that's enough to make a significant impact? I'd like to think so, but a project that big, once it gets funding, is sure to have some tech debt that needs paid before anything new, so, will new things come of this?