The HTML/JS version of ITP Thesis Streaming