Sigh, I should probably get around to upgrading to Sonoma (currently on Monterey).