Finally I beat Mumu_Didi's time, which seemed difficult for me to master at the beginning a few years ago. In this run I did the first wall boost pretty early on the very corner, although I always made sure to be really next to the wall. But that probably got me 6,800, which makes me so happy.