Make the JSON filename served by Node.js configurable.