Re: [ADDON] Bookmarks Reply #15 – May 26, 2021, 05:46:05 pm Thanks @inter for the suggestion and even more so for the PR that implements it