Initial version of o little python script to convert HTML special chars to HTML entities.