[DISCUSS] Docs release

[Andrey Kurdumov]

We release the tools 5.2.0, but now release for the docs.

Maybe it's time to release new docs. If I remember correctly we decide that
docs released together with tools.

Could help with release, but don't see any docs on that.