Agda-2.3.2.2: src/pkg/TODO

* Make sure all IO is UTF-8 encoded since new format requires it.