On Thu Dec 8, 2022 at 11:50 AM GMT, pelzflorian (Florian Pelz) wrote: > Closing. :( On Mon Dec 5, 2022 at 04:51 PM GMT, ( wrote: > Yes, I thought of this possibility. How about "Download nightly" instead? -- (