Has anyone noticed that their user's shortcuts have disappeared recently? Any way of getting a user's shortcut history?

did that user change roles?

No I dont think so. The roles are the same. We've just had a number of users who's shortcuts have vanished 🕵️‍♂️