externalization

This note last modified March 4, 2024

---