icon: dot label: 'Advanced config'
You can create a user_config.h in the same directory as pocketpy.h to override some default settings.
user_config.h.PK_USER_CONFIG_H in user_config.h. This invalidates the default config.h and enables your user_config.h.user_config.h to override default settings.