Anyone else’s keyboard shortcuts all get deleted when upgrading to 10.5.2? Mine did. Fortunately I use them all so often that as I come across the now-non-functional ones, I can re-add them on the fly. Still, annoying.