Ask HN: Pinboard is dead, long live whom?

Archiving is broken since years (goodbye $$), the site is slowing down, and the maintainer is unreachable. What are the alternatives? Like the original, alternatives should at the very least have tagging, comments, portable backups & import functionality, simple bookmarking from mainstream desktop and mobile browsers, and archiving (downloadable PDFs of all your bookmarks, in case of link rot).