On Wed, Jan 06, 2021 at 08:32:50PM +0100, Jean-Marc Lasgouttes wrote: > Please try it out even if you are not big users of bookmarks. I do not use > them myself, so I do not know what a good UI is. I think it should have tootltip saying it's bookmark, otherwise it migh be confusing for someone randomly encoutering this element. Pavel