EFS and texinfo 5.x