Now we use `<u>` elements for underlined text, so this is superfluous. (@mb21 correct me if I'm wrong.)