Intermediate modular curves with infinitely many quartic points | Synapse