Merger of black hole–neutron star binaries in full general relativity | Synapse