You're correct. Saved/bookmarked stories have been there way before HN has favorite. I'm thinking of syncing these two, but it's not very straightforward without API support.