Re: [arch-dev-public] Moving texinfo to core/devel?