More poking around and enhancements

* new font
* renamed components
* explanation for the deoptimizations in `propertiesFromHTMLOptions`