Where can I edit the hotkeys outside of the game?

Some of the hotkeys seem to be unchangeable despite showing that they are changed in the in-game menu. Is there a config file or something somewhere where I can go and make sure that the desired hotkeys are properly unmapped? I tried looking for something like this, but I couldn’t find it. My problem is specifically with the default pause game hotkey, which is F7, but which I do not want on F7 and thus have mapped to a different key, but without success. F7 still pauses the game (I have already submitted a bug report about this weeks ago).