A lightweight programming environment for desktop and mobile devices

bugfix: online help

Broken in the commit before last.

Created by  Kartik K. Agaram  on July 22, 2022
FNJF2FMQJPQDVLHDZTVMUX5R3LGRKLGSNUPTHUT2WZY3RKVSNRIQC
Change contents