For the record, it's "Draw on Your Screen" https://extensions.gnome.org/extension/1683/draw-on-you-screen/ (sadly, it was cool for my trainings)
For the record, it's "Draw on Your Screen" https:/ /extensions. gnome.org/ extension/ 1683/draw- on-you- screen/ (sadly, it was cool for my trainings)