Docker desktop is used by default to build the ADE container. Should [Finch](https://github.com/runfinch/finch) be preferred?