iyzsong@outlook.com schreef op za 12-03-2022 om 10:22 [+0800]:
> +   "Whether to install git email tools from the package's @code{send-email}
> +output.")

Perhaps add a little text about benefits/downsides?
E.g.,

   "Enabling this allows sending patch e-mails from git with @code{git
send-email}, at the cost of an increase in closure size."

Greetings,
Maxime.