Translation of software documentation