The following documentation comment has been logged on the website: Page: https://www.postgresql.org/docs/11/sql-createprocedure.html Description:
The information on procedures could helpfully include that the feature is new from PostgreSQL 11 and give an explanation of how it differs from functions. I found the information I needed here https://dba.stackexchange.com/a/262662, but I think it would really benefit others if the information was provided in the official documentation.