Aha! I did not. I started from the page I linked above and ended up on this forum thread. Perhaps a hyperlink ensuring that those steps are followed first on that page would avoid this for future users. Once I started that, it’s totally working! Awesome.
Side question: How do I update my firmware? Is there a link on that? I see that mine is 1.8.2 now that the ospi.py is running.