i thought i read that they did not spin off any part of JPHC. they decided after the merger to keep them. i read that somewhere. it was in one of the PRs i dont remember what one.