The name "Phobos" in user-facing docs

[Dukc]

On Friday, 12 January 2018 at 21:24:40 UTC, John Gabriele wrote:
>  1. It has its own name. Phobos. This is unusual. I don't know 
> of any other language who's std lib has any name other than 
> "the {lang} standard library". Why does it have its own 
> distinct name, and why do I (as a user) need to know it?

Because Walter Bright's company is named Digital Mars, D was 
initially named "Mars programming language". I am fairly certain 
that's the original reason for the name of the library. After 
all, why change it now when it's in common use? Where I live we 
have a saying: "A dear child has many names".