¡Hola Miguel! Miguel Ángel Arruga Vivas skribis: > Miguel Ángel Arruga Vivas (2): > doc: Fix minor typos. > doc: Fixes for Texinfo metainfo. Both LGTM! You can use your new super powers to push it! (Make sure to use the pre-push hook as described under “Commit Access”.) In general, feel free to push fixes for typos or other obvious errors directly, unless maybe we’re on a “string freeze”. Thank you! Ludo’.