@echoing-dinner-19531 Hi 👋🏻 If you have some time to give me a quick estimation if my PR
https://github.com/pulumi/pulumi/pull/14822 has any change to get merged this would great, because if this would be the case, then I would start updating the zillon 😄 integration tests for the docs generator. When you don't have any time it would be awesome if you pass my request to someone else. Not sure who else is qualified for this in the Pulumi team.