On the computational properties of the Baire category theorem. - Sanders, Sam (Computability, 2025)