That's not a great summary of the history of the name.

Here's a better one: https://www.reddit.com/r/rust/comments/27jvdt/internet_archa...