ox-texinfo: Fix incorrect @documentencoding