Joint galaxy–galaxy lensing and clustering constraints on galaxy formation. Issue 4 (4th September 2020)