A lightweight programming environment for desktop and mobile devices

bugfix #3, attempt #2 in search UI

Avoid accidental side-effects.

Created by  akkartik  on October 29, 2024
OXIU3SJ2AIL456GBALP63LMDMUFVXJ5HIAVLO3OHXIAYXYJAZ2TAC
Change contents