@voidspace if your apple ID has downloaded previous versions of macOS, they should still be available in the Mac App Store under the purchases tab. There are actually 2-3 different recovery modes that will do different installers. One version will reinstall the current OS, and another will install the OS the machine shipped with. I believe you need an internet connection either way. The different recovery modes are cmd + R and another key combo, like shift, ctrl and/or alt.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!