I am interested on how this GDExtension layer works, is there more to read about it's design somewhere? (Maybe a PR had it, not sure)

I think FNA has some strategy to merge C# for ports like the web port using some C#/IL to native compiler.