The `bookmark-file' variable has had the following docstring since 1995-06-19: "Old name for `bookmark-default-file'." I suggest that it's now time to make it an obsolete variable alias for `bookmark-default-file'. Thanks, Stefan Kangas