Hmm. `close()` doc string says *any operations* after calling `close()` are bad. Maybe we shouldn't use `with` then (since that closes the file)?