Thank you! I see, that way is far less disrupting so it could be
proceeded without debating.

Daanturo

On Mar 4 2025, at 2:10 am, Stefan Kangas <stefankangas@gmail.com> wrote:
> Version: 31.1
>
> I think you should use the DEFAULT-VALUE argument instead of
> INITIAL-INPUT.
>
> Also, I recommend using format-prompt, e.g.
> (format-prompt "No comment syntax is defined, use" "#")