removing the pdf dirs from git as we won't maintain them anyways
refresh htmls from changes in the non-utf8 branch