Why do you have traits defined in `html.py` that just re-direct to the same traits in `highlight.py`?