I did read, thank you.
I suspect that the hornpipe definition differs because sometimes it was danced without music. That's only a guess though, I'd welcome an authorititive explanation from anyone.