General Development Notes# Assorted notes on general development Last update: 2023-03-05 Created: 2022-01-26