This message was deleted.

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.