I don't think that's right. I don't believe you should name something that isn't really yours to name, and then reject all appeals to have it changed just because the creator(s) didn't contact you personally. In this case, there is no doubt whatsoever that the creator(s) want 'EditDroid' to be the only name attached to this project. It is not "hearsay" to have information come via Usenet; that is where the community has been posting and leeching stuff since well before OT.com got started.

This is a release that shouldn't have been a release: we are lucky that it escaped. In some ways, we should feel ashamed for spreading it around like this (yes, I have my own copy), because the creators' wish was for it NOT to be spread around. Attaching a random name to it when there's no other info makes sense (it's gotta be called something), but as soon as there is clear and verified intent by the creator(s) to have it changed -- regardless of where that info comes from -- it should be changed.

So, please change it. Get rid of 'MM' altogether, and leave it as 'EditDroid'. It's what the creator(s) want.