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:


BTW the fix for your issue is here:


Reply via email to