Thanks, I've been on HN for a while (most of the time without having an account, due to a quirk of HN's signup process) but never figured out how to link to users. Glad to finally know.