`readFile` callback logic solidified, I hope, and callback constraints documented tersely in some JSDoc above. Further clarification would be good, but I also don't think anybody else is really thinking very hard about this right now, so I think it can wait.