Do something reasonable when new HTML tags are used and Javadoc formatting is enabled

Split from #789. It was stated there that some users are using HTML tags I'd admittedly never heard of, like ` `.

I'm not sure what the formatter currently does: is it *bad* or just *non-ideal*?

Comece revisando a issue #789 e examinando como o formatter trata atualmente as tags HTML listadas quando a formatação de Javadoc está habilitada. Determine se o resultado atual está incorreto ou apenas não é ideal; em seguida, defina e verifique um comportamento de formatação razoável para as tags section, article, figure e figcaption.

Escrita pelo modelo de indexação a partir do texto da issue.