doc: use ASCII in .texi files where UTF-8 isn't needed