Hi Tim. There is a highscoreXXXX.tbl file for each game type. Each file basically contains a list of 10 entries of just the player’s name and the time in seconds. The files are compressed, so they are not human readable in a hex viewer. The XXXX in the file name is an encrypted number of the respective game type. You may have a look into the Highscore.pas source. But you don’t need to remove the files or write an addon app. In the Highscore dialog there is a hidden reset button in the lower left...
options bug
I’m using Windows 8.1 x64 on a generic desktop PC. There are no problems here, neither...