Origin of the word "derrick". Urban legend?

I can’t help wondering… was his surname Diggler?