We used to sing "St Patrick Was a Gentleman" when I was in primary school in Suffolk! (MANY years ago!) Another in the Community Songs for Schools book.
Not sure that we had ALL of those verses as in the version in the DT (as "Patrick was a Gentleman": and we also had a different tune for it than that shown in the DT, in jig timing.