Who is Peter Todd? What's the general gist, like... how does he annoy Bitcoiners? I'm totally unfamiliar with him #asknostr