st.write("This should change every ", secs_to_wait, " seconds: ", random())
with open(__file__, "a") as f:
// Sleep for 10s (rather than, say, 1s) because on the first run we need to
// make sure Streamlit and its proxy are fully initialized before the timer
// below expires. This can take several seconds.