"bookmark file"

Adam raises the concern that "bookmark file" is not rigorously defined, 
and we use it for example in: 

User agents often include features that enable Web content to update the 
user's bookmark file, e.g. through a JavaScript API. If permitted 
unchecked, these features can serve to confuse users by, e.g., placing a 
bookmark that goes by the same name as the user's bank, but points to an 
attacker's site. 

The feature for web user agents we are discussing is generally calls 
"bookmarks". So the proposal is to substitute "bookmarks" for "bookmark 
file". 

ACTION-634