Re: EFS and texinfo 5.x