Explicitly mention that changes to config file while server is live requires restarting the server#548

snehankekre merged 2 commits intostreamlit:mainstreamlit/docs:mainfrom

achieveordie:minor_config_updateachieveordie/streamlit-docs:minor_config_updateCopy head branch name to clipboard