Hello, The dots package has not been maintained for at least 6 years, does anybody really use it, or could we just drop it from Debian? Samuel