When I have read about this project, I was sure that was a Natami sequel, because I was on the Natami forum during years to see your works and progress and shared some ideas too.
I'm really happy to see that board will come true, because it is the more amazing improvement for the Amiga community since it exist. The board that everybody should dream 20 years ago. (Apple too XD)
I know that your technical choices are always good because your team is hi-qualified around the Amiga technology.
So, thank you for making it for users. They should trust you!

I have only one question about the amazing Super-AGA RTG.
Is, the HDMI connector allow to output the Amiga standard screens modes from boot?
I suggest that is possible, because your graphic core should handle OCS and ECS modes, but I have not read this information.

Good luck in the final stretch!

TotO.

EDIT:
OK, I have just seen the boot screens from ROMs 1.3 and 3.1.
So, that should means... YES.