Migrate last piece of code from builder to operations API; remove builder API by hannobraun · Pull Request #1813 · hannobraun/fornjot