texinfo: added version 5.0