That’s unfortunate. Have further porting of the rest of Moveit also ceased?
Unfortunately we have a quite strict timeline for our project, and cannot dedicate the time required to complete a port.