This file is in `src/core`. Should it be in `src/core/formatters/html`?