Thread: CREATE PROCEDURE Documentation

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/11/static/sql-call.html
Description:

In the documentation for the CALL statement, it is mentioned that PROCEDUREs
are capable of executing transaction-control statements. I think the CREATE
PROCEDURE Documentation should mention this, because it is the only reason I
would use a PROCEDURE over a FUNCTION.

Also, it should be clarified whether or not PROCEDUREs are implicitly run in
a transaction.