devhelp: plumb close-tab to devhelp workspace.