Translated pdf generators to English, and a few other views