I understand why GitHub is a core asset for CoreAI, but it saddens me that GitHub isn’t respected as a standalone business in its own right.