I'd leave these imports visible, fwiw.

(Also, `File` is re-exported, so the "standard" way to import it is `std::io::File`.)