Got texlive.js somewhat working.