version.texi 100 Bytes