change html lint provider