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