deactivate the contents of src/omd_xtxt.ml{,i} for now, just in case