externalization

This note last modified September 1, 2024

---