Missing mention of autovacuum_work_mem

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/13/progress-reporting.html
Description:

The "vacuuming indexes" documentation has:

"If a table has any indexes, this will happen at least once per vacuum,
after the heap has been completely scanned. It may happen multiple times per
vacuum if maintenance_work_mem is insufficient to store the number of dead
tuples found."

should be something like

"If a table has any indexes, this will happen at least once per vacuum,
after the heap has been completely scanned. It may happen multiple times per
vacuum if the maximum memory is insufficient to store the number of dead
tuples found.  The maximum memory is set via the maintenance_work_mem unless
it is an autovacuum then autovacuum_work_mem will be used."