I'm now on r1810 after a full rebuild. When I enter the "Options" menu, then the "Keyboard Setup" menu, and change the key binding for "ChangeFontColor" to "f3" (by pressing the F3 function key), then click on "OK", then click on "Keyboard Setup", no key binding is assigned to "ChangeFontColor" anymore. It does not seem to store these.