Daniel Gustafsson <daniel@yesql.se> writes:
> On 8 Aug 2022, at 11:05, Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
>> The other is usability of the message-id: I think it would be very
>> useful to have a button next to the message-id field, such that it
>> copies the message-ID to the system clipboard, without url-escaping (@
>> -> %40 and so on), so that it can be used for local message-id
>> searching; also without the rest of the archive URL.
> +1, that would be very helpful.
+1, I'd use that all the time (mainly for copying message-IDs into
commit messages).
regards, tom lane