G.H. Hardy as an editor