Bookmark+: extensions to standard library `bookmark.el'