Some HTML clean up, including removing files and sorting index.  Apparently, vagrant wants to take 5001 as well, so moved BACK to port 5000 as default, but added command line args to specify port number.