I think that warrants a correction. Two sources tell me the new identity is <i>Honeypants Capital Management</i>, and they will be diversifying their strategy portfolio.