Sean pushed to main at Sean/Navigator

Sean
Fri, 21 Nov 2025 15:02:28 -0500

827aefd1a264e9fe8a2465c89625cdb432c13127 Cleanup some items.