Hmmmm. I tried to add

config_refresh: 10

within

options

section inside the config file, but it doesn’t pick up the config file after I made changes…