I don't recall LHC doing anything with neutrinos. Because neutrinos are electrically neutral you really can't send them around an accelerator loop. They'll go in a straight line, only very rarely interacting with anything. What they're talking about here would be two separate facilities without any sort of tunnel…