So Cheetham, Lowdermilk, Williams, and/or Oklahoma Pete had all heard about "Halberd the Grim"?

Or did they get the song straight from Matthew Paris?