Models for quotients of modular curves - Josha Box (2021)