There aren’t actually tags on HN, just fyi, but if there were it’d be a backtick.