It's been a few years since Dell pulled the Area-51 brand from its library, but it turns out it was never gone; it was just ...