[m-rev.] for post-commit review: abbreviate "definition" in three option names

[Julien Fischer]

On Tue, 31 Dec 2024 at 15:25, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> The diff is trivial. The only question is, do these new option names
> (NOT new options) deserve an entry in NEWS.md?

I don't think so.

Julien.