Thanks so much - and all great points!
Just one comment - Luke Wren works for RPi so Hazard3 is an in-house core so no licensing needed.
Which all points to RPi’s increasing silicon design capabilities. It will be interesting to see what they do with these capabilities next.