texinfo update from 4.13a to 5.1