Add instruction encodings HTML.