Comment by fermigier

There was a Linux distribution (briefly) called "$DISTRO". Known today as "Ubuntu".