20 Dec
2023
20 Dec
'23
6:28 p.m.
On Wed Dec 20 17:37:56 2023 +0000, Nikolay Sivov wrote:
Why? It does not have to be an effect group, could be some other type.
True. Perhaps "Identifier %s" is better.