Genuine question: should "Rust" be capitalised? (There are a few other places with it lowercase in these additions too.)