let doc_bookmarks = new O.list_cp O.string_wrappers ~group: Cam_rc.gui_ini ["bookmarks" ; "doc"] [] ""