2206d2246f047b7feb09c0eff35d8a1f99b2e34d  texinfo