There is also a rousing instrumental recording
by the Dubliners, and listening to it,
although the meter/rhythm/subdivisions differ slightly,

I recognize the same thing played by Martin Carthy.

By the way, the Carthy livestream video
is still accessible on YouTube.