TODO on release

When a new build-tools release is done and documentation is pushed
- Add in docusaurus configs in the branch that is pushed to the site [this](https://docusaurus.io/docs/api/plugins/@docusaurus/plugin-content-docs#includeCurrentVersion) as false with `[skip ci]`as part of the commit's comment to avoid triggering the action