* bookmark-extensions.el: Fix deletion of all bookmarks.