No, they didn't use any serious anon tools. Just posted on a fake name once or twice the first days of the project, but then even included their credits on their twitter bios [example: https://twitter.com/abad ]
Well, obviously Abad's come out about his involvement. But we don't know that the other devs weren't using any tools earlier. If you know more about this, share it.