[dlang library documentation] Why there are dlang.org/library and dlang.org/phobos?

[John Gabriele]

On Tuesday, 23 January 2018 at 19:05:21 UTC, Seb wrote:
> On Monday, 22 January 2018 at 19:38:45 UTC, John Gabriele wrote:
>> On Monday, 22 January 2018 at 15:32:29 UTC, Adam D. Ruppe 
>> wrote:
>>> On Monday, 22 January 2018 at 15:18:38 UTC, Johann wrote:
>>>> Maybe it's due to historical reasons.
>>>
>>> It's actually "future" reasons... the /phobos is the original 
>>> one, and /library was supposed to replace it, but now many 
>>> years later, /library is still kinda neglected and they both 
>>> just exist.
>>
>> What's needed to remove the "/phobos" one? Is it a decision 
>> from on-high, or is there a lot of editing of hardcoded links 
>> required?
>
> This discussion and the referenced news group thread should 
> give insights:
>
> https://github.com/dlang/dlang.org/pull/1526
>

Thank you!