docs: Table 9.46. UUID Extraction Functions

On
https://www.postgresql.org/docs/18/functions-uuid.html
there is:

Table 9.46. UUID Extraction Functions

which has these examples:

uuid_extract_version('41db1265-8bc1-4ab3-992f-​885799a4af1d'::uuid) → 4
uuid_extract_version('019535d9-3df7-79fb-b466-​fa907fa17f9e'::uuid) → 7

In my hands, copy/pasting from the website page html intto psql these
don't work:

------
testdb=# select
uuid_extract_version('41db1265-8bc1-4ab3-992f-​885799a4af1d'::uuid);
ERROR: invalid input syntax for type uuid:
"41db1265-8bc1-4ab3-992f-​885799a4af1d"
LINE 1: select uuid_extract_version('41db1265-8bc1-4ab3-992f-​885799...
------

Apparently, that's because of the dash characters used: if I re-type
those with simple keyboard-minus chars, the statement works as expected.

If I copy/paste the result values of the previous table (9.45. UUID
Generation Functions) into the uuid_extract_version() function, then the
examples work so there the dash-characters are apparently ok.

Also, the copy/paste from the PDF text works without problem.

This formatting error, if that's what it is, occurs on docs of both 18
and 19devel.

It's not a huge problem but it would be nice to fix the sgml so that it
generates copy/paste runnable examples here.

Thanks,

Erik Rijkers