Tags: patch

We shortened the info manual name.

Thank you!!

Joseph