The de Jong fundamental group of a non-trivial abelian variety is non-abelian | Synapse