@mzeidhassan sorry, I don’t remember exactly what I was doing when I posted this – Streamlit was running on port 5000, and there was some mapping between ports in the AWS settings.
Later I used the approach from this tutorial 57, hosting on Heroku with port = $PORT in Streamlit’s config (apparently $PORT is an environment variable Heroku uses to tell you what part it will send requests too).