SPI_finish in the case of ereport - Mailing list pgsql-docs

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/11/spi-spi-finish.html
Description:

Hi,

The documentation of SPI_finish clarifies that aborting with elog will
cleanup SPI automatically without need to call to SPI_finish manually, see
https://www.postgresql.org/account/comments/new/11/spi-spi-finish.html/
On the other side the error reporting is normally done by ereport, while
elog is an old function, which is interchangeable with `ereport` according
to https://www.postgresql.org/docs/11/error-message-reporting.html
If so, can the documentation of SPI_finish mention ereport instead of elog?
(it would be also nice if a regression test is added for this)

Best regards,
Ruslan