> If you can get hold of one!
You don't need any in fact. It's Python so it runs on any powerful enough Linux platform, and there's a boatload of them out there; the Raspberry Pi is just the 1st one to become popular and it's the most advertised. Hoarders depleted all stocks to sell them overpriced? Well, screw them,
we're going to the competition instead.
Here's a list, updated yearly, of the most known Linux boards available with data and prices.
https://linuxgizmos.com/catalog-of-136-open-spec-community-b...
Take a look also at the devices supported by Armbian and DietPi.
https://www.armbian.com/download/?device_support=Supported
https://dietpi.com/#download
Also worth visiting is the Linux-sunxi site, where you can find a huge load of open documentation about hardware and software for Allwinner CPUs used in some of these boards.
https://linux-sunxi.org/Main_Page
Also available are Amlogic CPUs docs at the Hardkernel site.
https://dn.odroid.com/
Example: here's the over 1000 pages long S905x3 full data sheet.
https://dn.odroid.com/S905X3/ODROID-C4/Docs/S905X3_Public_Da...
The public Raspberry Pi CPU data sheet is 166 pages long.