The height of depth‐weighted random recursive trees. Issue 3 (12th January 2020)