Re: [MacPorts] #25860: Deactivating texinfo 4.13_1 fails