Nonlinear smoothing and unconditional uniqueness for the Benjamin–Ono equation in weighted Sobolev spaces. (April 2021)