Many thanks Alan for your encouragement. I documented the changes on https://github.com/x28de/Hotspots/commits/master/H5P.GlossaryHotspots-1.0 — see the two commits of today Sep 28, 2020.