Remove unused htmlextensions