Modularity of Erdős‐Rényi random graphs. Issue 1 (20th March 2020)