These files from Richard Suchenwirth used to be at http://mini.net/files/