user sed and texinfo