Incidental-o, anyone know the origins of this jolly song, The Lark in the Morning, as sung by the Dubliners and basically everyone else in Ireland?