(I've been staying out of all of these threads, but to be clear, the number of people employed to work on Rust by Mozilla is more like 3 or 4, not 12. It's been shrinking for quite a while.)