to the WSLSetupOptions controller. Misuse of the default_loader(). That's meant for loading /etc/wsl.conf. WSLSetupOptions is by design not related to that config file.