And they’re off! Red Hat’s IPO was today.