Weierstrass points on modular curves X0(N) fixed by the Atkin–Lehner involutions. Issue 1 (12th August 2021)