A note on the Gauss–Manin connection for abelian schemes | Synapse