Some simple, lightweight scripts for converting one document format to another.