Missing COMMENT ON POLICY

Hello

Lately I am working intensively with the documentation capabilities of
PostgreSQL and I noticed that, although the functionality is available in
9.5 to add a comment to a policy, there is no entry for in the documentation

http://www.postgresql.org/docs/9.5/static/sql-comment.html

Probably it would look like:

COMMENT ON POLICY policy_name ON table_name |

Between
OPERATOR FAMILY object_name USING index_method | and
[ PROCEDURAL ] LANGUAGE object_name |

Regards
Charles