Re: [PATCH 2/4] CI, Dockerfile: Update to latest "focal" tag