Random-ish question. Why do roquette curves/curves over F_p with too many automorphisms appear/exist? I understand "manually" why they appear (i.e. I can follow a construction and understand the tools reasonably well), but the idea of curves with too many automorphisms doesn't really fit into any larger context for me. Is there a reason I should see it as reasonable and expected that these exist?