"David G. Johnston" <david.g.johnston@gmail.com> writes:
> On Wed, May 6, 2026 at 6:52 AM Tom Lane <tgl@sss.pgh.pa.us> wrote:
>> I'm inclined to try to fix it via formatting: change HH and MM to
>> lower case and wrap them in <replaceable> so they render in italics.
> And isn't replaceable usually something the user is expected to provide a
> value for - not something the system populates?
No, I think it just means "this word is not literally what you'd see
or type".
regards, tom lane