“Matt Van Horn has been banned from contributing to the Rust programming language project.”