Re: [PATCH] Docker/CI: Update to "focal" and latest build