devhelp: allow closing devhelp tabs