Oh, ok. Yeah, that's supported, but it's also supported today without HTML with the snippet tag (and @code tag).