Thanks all. So I guess no harm if I just delete it? Or is it useful? Or superseded, and if so by what? > It's listed as owned by minsystem and ubuntu-base on the two systems I > tested, but both are a bit older (1 and 2 years respectively) installs.