This is just a dumping ground for random files I may have that people
sometimes ask for or may be of use to others etc. So9me may be recent, others
may be absolutely ancient. No guarantees, no warranty etc. Most of the files
are mine, some files are not. Ask me if you care about the copyright. Icons
are not mine (they are GPL, taken from my OS install).