Upgrade to macOS Ventura completed. I then shrunk that partition to half the hard drive, and installed Linux Mint on the other half. Just going to fully patch that and see if everything works (no audio drivers at this point but I’ve got a lot of patches and a kernel update to install). All in all, looks like $40 for this MacBook Pro was money well spent.