Correction: An earlier version of this story incorrectly listed one of HGGC’s portfolio companies.