It is, indeed; added three years before this came up on Hacker News five years ago. It then got added again. * https://wiki.debian.org/WhyTheName?action=diff&

It is, indeed; added three years before this came up on Hacker News five years ago. It then got added again. * https://wiki.debian.org/WhyTheName?action=diff&rev1=14&rev2=15 https://wiki.debian.org/WhyTheName?action=diff&rev1=14&rev2=... * https://news.ycombinator.com/item?id=9323623 https://news.ycombinator.com/item?id=9323623 * https://wiki.debian.org/WhyTheName?action=diff&rev1=183&rev2=184 https://wiki.debian.org/WhyTheName?action=diff&rev1=183&rev2...