In util.js, added readTextFile().