Cauchy-characteristic extraction in numerical relativity | Synapse