Shall we do that when presenting the Github and Gitlab interfaces?
yes, and maybe add this as well as keywords to the slides
fixed.
closed
mentioned in merge request !155 (merged)