Miguel IS a Gnome/Mono guy. Or at least he was a gnome guy, and his contributions have helped many people all over the world.