Well, they did use the shortcut.

It happens to me 90% of the time I use super+d.