…but apparently the simple HTML encoding tag is still a big problem: