The documents at https://www.rust-lang.org/COPYRIGHT and https://github.com/rust-lang/rust/blob/master/COPYRIGHT differ. This must be a bug.