What Raspberry Pi image should I use?

[zounder1]

So, I seem to be stuck with the oddball Elegoo firmware that your release should work with.

Question: What Raspberry Pi image do you recommend to use?
The current Raspberry PiOS Lite?
I ask as that uses Python 3.9 and I know that the luizribeiro version of Mariner3d only works with 3.7
Does you version work with Python 3.9? Your notes say that the software works on Python 3.x which should include 3.9?

Or should I used Raspberry PiOS Legacy which includes Python 3.7?
If I use this version and try and install your Mariner3d I get stuck with an error that it requires python3-libcamera. Installing libcamera-dev does not fix the issue either.

Any advice? Thanks!