Convert html files to markdown

Take a look at https://github.com/farnulfo/javassist to see the change.