Re: @ifnottex: texinfo 3.12, 4.0, and XEamcs 21.2