We recently added feedback buttons (👍/👎) to the docs site, to make it easy to provide feedback on whether each of our docs pages was helpful, and to quickly provide written feedback as well. We will be using this feedback to help prioritize improvements to our docs over the coming weeks and months. I encourage everyone who uses the Pulumi docs to share your feedback early and often via this UI!

Awesome, are the docs also defined in a github repo? Could I send PRs for documenting some things that I had to dig into the source code to find out?

Yes! The two links right above this are to provide PRs or issues to the docs in GitHub.

Nice, ware they there before? I didn't notice them, so immersed in finding the solution I wasn't even looking for this up till now

Yep - those two have been there for awhile - the 👍/👎 is new.