Add a WS_Printf() function and use it.

Other minor polish around workspaces.