In the legacy branch (of bellatrix) you can find my initial attempt to use it synched