automatically download prettify files