Stefan Kangas writes: > Björn Bidar via "Bug reports for GNU Emacs, the Swiss army knife of text > editors" writes: > >> Eli Zaretskii writes: >> >>>> From: Stefan Kangas >>>> Date: Tue, 11 Feb 2025 12:09:16 -0800 >>>> Cc: Eli Zaretskii , 75956@debbugs.gnu.org >>>> >>>> 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]): >> >> Which one is preferred? Personally I'm fine with either. I already >> updated the patch with Stefan's suggestion. > > I think we can go with Eli's suggestion here. Users that want to > understand things better should read the docstring. Ok there you go: