These files are placed into the public domain by Allen Short.
