6a8f074dd1d79034f88d3909c25a41e708b8177d  texinfo