Why the Rust Trademark Policy was such a problem