just mentioning his name doesn't do anything. The mod e-mail address is in the page footer if you want to reach him.
Thanks, didn't know that - they often respond so promptly that I actually thought the invocation of the name or "mods" triggered some sort of notification..
Yeah, I wouldn't know either if I didn't remember him saying that there isn't actually a running keyword search for it. It'd be interesting to know what percentage of all HN comments he reads...