Some recent rigorous results about QFT on the null boundary of asymptotically flat spacetimes