It was very DJB of him to use the gauge integral, which nobody else does.