doc: resplit lines to avoid Texinfo chaos