Is Pinboard still active? I know the dev was taking a year off of some things, but it seems the blog has gone offline and there have been no status updates that I’ve seen.