When merging bob.extension!82 (merged), this MR will update the according documentation.
This will create a new commit in order to revert the existing changes.
