Greetings, I've taken the liberty to merge debian/patches/01_man_page.dpatch upstream (post 6.3.2-rc2), no need to submit it. The fixed manual page will ship with 6.3.2 later this months. Thank you. BTW, any feedback from Javier Kohen or Spanish translation team on the updates yet? -- Matthias Andree