Commit

We removed bookmarks. They weren't used all that much, and we already have a way of knowing which commits you liked: stars. So the "saved" section has been replaced by "starred", and shows everything you ever starred before. If you had bookmarks, they were converted to stars as…