Isolated points on modular curves of prime-power level | Synapse