Is hobbs a name for the devil?

According to a Documentary about "Quatermass and the Pit", Hobbs is indeed an old name for the Devil. Sadly I can't find where they got that factoid from, so I can't confirm it.