Shoot, sorry for the noise, that does the trick. And it was right there in
the documentation. Thank you for the quick reply.

On Sat, 28 Oct 2023 at 21:21, Andreas Schwab <schwab@linux-m68k.org> wrote:

> See case-replace.
>
> --
> Andreas Schwab, schwab@linux-m68k.org
> GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
> "And now for something completely different."
>