The height of record‐biased trees. Issue 3 (2nd August 2022)