Many trad tunes or tunes in the tradition seem to have several names anyway so I take it they can just rename the tune to something else rather than not playing it.