[asiufy]

Can anyone explain what is the purpose of the HistoryIndex.ox file?
OW (5.5.3) is dreadfully slow, with spinning beachballs everywhere, but I'd still like to know what I'm deleting when I get rid of that file :)