Document what jseden-dev-server.js is for, for future generations.