Tried to do a Clear History on my IE32 on x64, but it looks like not all,
or maybe not _at_ all, the history is cleared. Anybody else noticed this?

jud