Re, On Fri, 12 Nov 2021 at 11:50, Tobias Geerinckx-Rice wrote: > @ is special in Texinfo: Rah, obviously! Sorry for the noise. Cheers, simon