Make workspace-list somewhat function in doc page.
Fix ui-codemirror.js.