notes
Better docs for elligator decode