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