Portalworkspace used to provide functionality for admins / users to modify
part of the theme. This is no longer desirable and removed with revision 2062hb.