Programming environment for editing various of my live apps without restarting them.

work around a pretty fundamental gotcha

Triggered by commit 62f8f2c498.

I'm not sure how to fix this, so I'm going to just document it in a couple of places for now. I also had to perform some low-level surgery going around the driver program.

Created by  Kartik K. Agaram  on January 7, 2023
WVKFFN6FAJVKUL6NGAOWSS33WFD63GPOPSLDQ7JT4WM27KV7H65QC
Change contents