Carleman estimates for Baouendi–Grushin operators with applications to quantitative uniqueness and strong unique continuation. Issue 10 (3rd July 2022)