Ist ganz okay, aber es könnten noch mehr Optionen zur Verfügung gestellt werden - etwa wie beim History Eraser für Opera.