Text this: Implementations of forgetful maps on modular curves.