But they did open source it separately? https://www.gpui.rs/

How are they tied?