Retire some futures that Vass pointed out (in August 2023!) that I'd fixed

Retire some futures that Vass pointed out (in August 2023!) that I'd fixed #4431