Hi Guix!

Please receive this trivial patch (attached) for the Guix info manual.