I am going to ignore those .sml~ files since they seem to be temporary.