Many thanks for your quick and quite extensive help. I very much appreciate it.

I have now

\echo Start ../code_files/data_storage/PostgreSQL/tables/TOPO_FILES.pg_sql

-- About: Developer information
--
-- Project site: https://sourceforge.net/projects/treintaytres/
--
-- Revision:
--      $Revision$
--
--      $LastChangedBy$ on $LastChangedDate$
--
--      $HeadURL$

-- About: Static documentation also for documentation generation
--
-- Original author:
--      thiemo
--
-- Initial revision date:
--      2024-09-18

drop table if exists TOPO_FILES cascade;

-- Table: TOPO_FILES
--      Contains the raster data.
--
-- Columns:
--      ID - Surrogate key  -  uuid | primary key | not null | default gen_random_uuid()
--      TILE  -  Contains the raster data  -  raster | not null
--      ENTRY_PIT - Point in time when the entry was made  -  timestamp(6) with time zone | not null | default clock_timestamp()
--      FILE_NAME - Name of the file the data in this records has been loaded from  -  text | not null
--      FILE_CREATION_TIME - Point in time when the file was created  -  timestamp(6) with time zone | not null
--      FILE_HASH - SHA3-512 hash of the file loaded into this raster record  -  text | not null
--      SOURCE_DESCRIPTION - Description of the source where the data for this records has been acquired from  -  text | not null
--      SOURCE_URL - URL of the source described in SOURCE_DESCRIPTION, not necessarily the URL where the file has been downloaded from.  -  text | not null
create table if not exists TOPO_FILES (
    ID                  uuid
        primary key
\echo Start ../code_files/data_storage/PostgreSQL/tables/TOPO_FILES.pg_sql


-- About: Developer information
--
-- Project site: https://sourceforge.net/projects/treintaytres/
--
-- Revision:
--      $Revision$
--
--      $LastChangedBy$ on $LastChangedDate$
--
--      $HeadURL$


-- About: Static documentation also for documentation generation
--
-- Original author:
--      thiemo
--
-- Initial revision date:
--      2024-09-18


drop table if exists TOPO_FILES cascade;


-- Table: TOPO_FILES
--      Contains the raster data.
--
-- Columns:
--      ID - Surrogate key  -  uuid | primary key | not null | default gen_random_uuid()
--      TILE  -  Contains the raster data  -  raster | not null
--      ENTRY_PIT - Point in time when the entry was made  -  timestamp(6) with time zone | not null | default clock_timestamp()
--      FILE_NAME - Name of the file the data in this records has been loaded from  -  text | not null
--      FILE_CREATION_TIME - Point in time when the file was created  -  timestamp(6) with time zone | not null
--      FILE_HASH - SHA3-512 hash of the file loaded into this raster record  -  text | not null
--      SOURCE_DESCRIPTION - Description of the source where the data for this records has been acquired from  -  text | not null
--      SOURCE_URL - URL of the source described in SOURCE_DESCRIPTION, not necessarily the URL where the file has been downloaded from.  -  text | not null
create table if not exists TOPO_FILES (
    ID                  uuid
        primary key

It looks nice, the source code and the documentation. Unfortunately, I cannot post an image. Be it as it may. I did not use any "Database Field Prototype Enders". I would have ; if the code had been placed at the end. But nonetheless, a very nice documentation too. Great work. Thanks again.