2 - Clear the high bit on curve25519 public keys before passing them to
3 our backend, in case we ever wind up using a backend that doesn't do
4 so itself. If we used such a backend, and *didn't* clear the high bit,
5 we could wind up in a situation where users with such backends would
6 be distinguishable from users without. Fix for bug 8121; bugfix on