Use code, not pre, for source text, because we allow HTML