test wrong @documentencoding

@documentencoding


This document was generated on a sunny day using texi2any.