manually copied the HTML files for the writeup