Renamed tex file, added PDF; moved prototype, added compiled js file.