Re: [PATCH libdrm] man: remove .man_fixup workaround