Comparing builds

Builds builder@2023-09-12 21:42:08Z on ubuntu-18.04 and builder@2023-09-13 21:20:20Z on ubuntu-18.04