Finding maximum matchings in random regular graphs in linear expected time. Issue 3 (24th November 2020)