html: add snippet for the <code> tag