Spanning universality in random graphs. Issue 4 (18th October 2018)