Ha! The default version of python3 was 3.8. I should have typed "python3.9 -m pip ...", since Leo now requires Python3.9+. Mint still does not have an official package for Python 3.9. I forget how I installed it, but since it was not through the package manager, it's not symlinked to "python3".