Note that the lapse used in this work already had the generalized harmonic time gauge built into it.