Pre-submission: * renamed and reencoded main .tex file; * archived old text