It’s one of those weirdly unlikely things. I mean who would have predicted that a pandemic could cause a world wide comeback in sea shanties? Nevertheless, your advice here is sound :D