Update & fix texi docs to build clean against makeinfo v5.2