General-Relativistic Gauge-Invariant Magnetic Helicity Transport: Basic Formulation and Application to Neutron Star Mergers | Synapse