Use tar.gz as source for `streamlit-extras` because the PyPI is more 09139da legend1234 commited on Oct 9, 2023