2025-04-11: v2.3.1

• Fixed the reported previous model name in "diffs" HTML
• Relaxed profile naming rules, e.g., allow hyphens
• Output an error if imports don't have spec attributes
• Fixed a couple of minor bugs