mxid_age() and age(xid) appear undocumented

[David Rowley]

I see d692308cf494f6126 mentions mxid_age() in passing, but there
appears to be no formal definition of either of these functions.

Should there be?

-- 
 David Rowley                   http://www.2ndQuadrant.com/
 PostgreSQL Development, 24x7 Support, Training & Services