Commit

a1b5968

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…
Ha, my rusty fingers can do that one. Just hold Alt and type 0162 on a numeric keypad, or copy-paste this: ¢ No idea what a "Pastéis" filter would do, though. Sounds tasty. Beep.

commit a1b5968