I tested the export and found a bug. If you exported and distributed with the pro version, the .exe is also the pro version. But actually, you can export .exe without the pro. And I can still use the exported pro version to press F1, F2, etc after closing the game (not the editor).