Since it's easy to calculate Pinboard's user numbers, apparenty most of them. Browser bookmark sync is probably a much bigger alternative.