Texinfo version: 7.0.2

Release date: Jan. 22, 2023