Very good point... I was translating everything with the formal "Sie", because I was thinking about the professors using it! We should definitely have two versions of the translation. One formal and one informal! You could then switch according to your audience.