Nice build! I wrote about how I use my main
Amiga in 2021. I have it on most days playing either IMP, or streaming the BBC World Service or BBC Radio 6.
I also have a MiSTer build I fiddle with. I'm building a CDTV based setup for actual work stuff. I considered the Pi-based HDMI mod but I wasn't sure about setting it up in the CDTV. I've got a SCART box which works fairly well for my needs. I keep meaning to get an external Gotek but I never get round to it.
I have an A500 in bits I was going to PiStorm but I think I broke the metal return key runner thing. It's just 512k for now but fat Agnus so I'll do the mod if I get the keyboard fixed up. If not, I'll eBay it so someone else can have a go.