Texinfo (&texinfo-version;) - &texinfo-size;: