Subject: bug#75956: Various improvements to sieve.el

From: Eli Zaretskii <[email-masked]>
Date: Wed, 12 Feb 2025 14:23:27 +0200

> From: Stefan Kangas <[email-masked]>
> Date: Tue, 11 Feb 2025 12:09:16 -0800
> Cc: Eli Zaretskii <[email-masked]>, [email-masked]
> 
> Yeah, we have to be brief, which makes this hard.  How about this:
> 
>     Server (optionally followed by `:port'):
> 
> Eli, any better ideas?

That's not bad.  Another possibility:

  Server and port (SERVER[:PORT]):