Since this is now `pubic`, let's move it into the `util` package (or `util.io`, if we have such a subpackage).