Quasilinear gyrokinetic theory: a derivation of QuaLiKiz. (5th August 2021)