Translating a few comments in save_ontology_to_daml.php