Red Hat has been slowly vertically integrating within IBM but yeah, seems like an acquisition that's operated with some autonomy