Linux: How the Name of Debian OS Was Formed?

The word Debian was formed of names of the OS creator Ian Murdock and his then-girlfriend Debra Lynn.