Reply to 977880060777697280@timothep @RitzmannMarkus Seems like @statuspanda tries to solve this problem.