Coherence of one-relator groups

The recent series of results about one-relator groups (see, e.g. the previous two blog posts) culminates now in the final breakthrough: The conjecture of Baumslag from the 70s (that all one-relator groups are coherent) is resolved. The corresponding preprint by Marco Linton was put today on the arXiv:2303.05976.