Very fast construction of bounded‐degree spanning graphs via the semi‐random graph process. Issue 4 (27th September 2020)