Switch to https://github.com/cplusplus/html-doc-framework for the custom elements.