Idea to improve the description of the Github release: https://github.com/robots-from-jupyter/robotlab/releases