[BUGFIX] html-escaping of workspace-title too much