We need prediction markets for Linux kernel development.