HTML-ify angle brackets in the example in [temp.inst].