Oh wow. I thought I had a renderer bug, but instead, I'm faithfully rendering the 10C HTML here, sup tags in code font and all.

//