F10/KDE4.1.2: What is the "Show Desktop" widget ?