Delete kthelemn.ml~