Pinboard still seems to be taking forever to archive copies of things. I'm wondering whether I might not do better now with pinging the wayback machine whenever I save something to pinboard.