No, he typed the HTML—his link does not match the link-text, see. There’s a bug with HTML parsing that munges the link like that. It doesn’t happen with preview because that’s done by JavaScript and not parsed by the server.