bug#75956: Various improvements to sieve.el

[Stefan Kangas]

Björn Bidar <bjorn.bidar@thaodan.de> writes:

> Stefan Kangas <stefankangas@gmail.com> writes:
>
>>> A compromise would be to mention in the prompt that the port can be
>>> specified in the prompt.
>>
>> OK, then let's do that.
>
> What did you have in mind? For example for man pages the optional arguments
> it is custom to put optional arguments in [].
> Going with that the prompt could look like that: 'Server[:port] : '.

Yeah, we have to be brief, which makes this hard.  How about this:

    Server (optionally followed by `:port'):

Eli, any better ideas?