A good response from them. I can't blame them for not liking the copyright notices in the files. I don't think that MLton is bad because the notice is very short. Sometimes I have seen code that puts it at the end of the file instead of the start, which I view as slightly better.