HRiggs pushed to main at HRiggs/LocalDiplomacy

HRiggs
Thu, 30 Apr 2026 06:59:33 +0000

468c6f407596a4ff2863865aa74f9e2166d26953 docs: more explaining