### Summary We should update the synthesis methods to use the `PhaseGate` instead of the IBM-legacy `U1Gate`, if possible. See https://github.com/Qiskit/qiskit/pull/12961#discussion_r1719719621.