In this note, extracted from the above preprint, we give a detailed proof of a Deuring-type
correspondence between supersingular elliptic curves (with some additional structure) in characteristic p, and a double coset
space arising from the multiplicative group of the definite quaternion with discriminant p