Make it possible to serve the dev server on something other than localhost.  Misc minor fixups in comments.