On 3/10/21 3:30 PM, Chris Johns wrote: > The patch link looks fine and I can download it with my browser. I wonder if > this is a Windows thing? No Windows involved. I'm running this under Debian 10.