Re: [PATCH 21.5] Drop texinfo info files