Comparing builds

Builds builder@2023-09-10 17:34:41Z on ubuntu-20.04 and builder@2023-09-13 17:45:21Z on ubuntu-20.04