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

update one bit of documentation

This had gone stale when I switched representations.

Created by  Kartik K. Agaram  on April 23, 2023
G7VALPSC72AS423223KF4M4U5K5AEYIV3ATJ5KDLO27TH5TUZRWQC
Change contents