update to HTMLHint 0.9.6