Oh, gosh, silly me. I figured I keep a close enough eye on the forum that I didn’t need to search for this. Too close to the sun, it seems.
Fwiw, I had tried your suggestion in the other thread and several other combinations of unpinning and repinning to no avail. What fixed it for me, I think, was making sure the shortcut was just called “Dorico” which isn’t always the case depending on where you’re pinning it from.