Move the html switch to a lower level, for now.
Add ignored extensions option.