Wow, great detective work @s_mc!
I think there’s some work Streamlit devs can do to make this easier in the future, but for now it sounds like all that’s left for you is to turn global.developmentMode off — which happens to be quite simple 
Here are a few ways to do it:


Add the code below to either $HOME/.streamlit/config.toml or .streamlit/config.toml (in the folder you’re running Streamlit from)
[global]
developmentMode = false



Pass --global.developmentMode=false to the streamlit run command


Set the STREAMLIT_GLOBAL_DEVELOPMENT_MODE environment variable to false


Let me know how it goes!