I've disabled history deletion in the default GPO. Works great. However, now when I have a user who does nees to clear cookies (buggy website), I can't figure out how to clear them. Is there a utility that I've missed? Or should I just go to the directory and delete them manually?