Superspecial genus-4 double covers of elliptic curves | Synapse