Joint law of an Ornstein–Uhlenbeck process and its supremum. (June 2020)