... and update INSTALL.md to include py3.8. We'll also have to update the buildkite pipeline to run it