Gnome has many many extensions, some of which are actually quite useful like, governors / frequency changing, visual display of caps lock, and such. IIRC these plugins/extensions are called plasmoids under KDE, right? Are those 2 plugins I described available ? I never seem to find them when I play around with KDE.