projects.kde.org has a module called kde/workspace that's used for Plasma bits. The name term "workspace" is obsolete and it's confusing having it under "kde" where all the applications modules are. I'd like to rename it to "plasma". I guess this will break kde-srcbuild and maybe other build scripts. Is the tidying up worth the hassle? Jonathan