yes, that was my understanding after the workshop. @jrha @piojo this can be merged