Floccus: Sync your bookmarks privately across browsers and devices