Yes, both boot.py and src/main.py appear to be executed in current namespace, not imported as modules. boot.py seems to be good place for this. But that should be considered user-specific convenience configuration, not something to rely upon.