Manpages of efitools in Debian trixie