Imagine what Debian could accomplish with that kind of money...