Fast simulations of cosmic large-scale structure with massive neutrinos. Issue 9 (1st September 2020)