tagselect: doclist-export added; doclist can be printed with print.