There was a guy named Dishwasher -not his actual user name. Pretty colorful guy once you piss him off. If you were to trust his words, which many (including me) do, he is one of the first serious miners from India, he had a whole series of eruptor blades & all.
If I am not wrong his real name was Pankaj Bharadwaj and irrespecrive of his past, he should be allowed to be on that list because he joined up btc pretty early and was an important member of the community.
You're right! Name should be updated on list.