add @settitle back to mime-ui-en.texi