The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/16/plpgsql-declarations.html
Description:
Under 43.3.1, "Notice that we omitted RETURNS real — we could have included
it, but it would be redundant."
Should that be "RETURNS tax" instead of "RETURNS real"?