Plenty of Linux users who live in a terminal still have a GUI file manager, and they reach for it when it's time to shuffle ...