Will the board’s microcontroller ship with a configuration to allow a “NUMLK” key macro by default? I know you mentioned that it’s fully programmable, but is it saved to ROM, or will we need a third party app running to map the config? Thanks!