Oh yeah, thanks for the reminder. I just switched to being a paid user of pinboard (which I had always intended to do but hadn't gotten around to yet).