RGM Capital, LLC portfolio value