You are oh so right, but I'd like to add that that bookmarklets don't work at all. That was a very unnecessary loss and has screwed things up big time for me. I can no longer add bookmarks to Pinboard.