There is a GREAT DEAL of interest in *25519 :) It would be great to see a PR against master; I'd push it through the review process as fast as possible. If you and Peter have the interest in working on this, that would be great.