symfun diff: fixes for texinfo header, minor comment updates