@thomasfuchs There's a difference between bookmarks and Favorite Pages, but it's real unclear at a glance what that difference is. That, by itself, is a problem.