"block history writes" gets ignored
Sometimes I get entries in my history, although Tor is active and "block history writes" is turned on. It seems to happen at random. Is this issue known? And is it just history records which are written by mistake, while Tor is still being used in fact or do written history records imply that Tor wasn't being used for these entries?