Board Thread:The Reference Desk/@comment-7302713-20130511022318

Does anyone know which is correct Mike Riddell or Mike Ridde? Because we have two articles for what appears to be the same person. He's also credited on some of these articles as Mike Riddel. Any chance someone has the skinny on this so I can correct these?  