I think this is all great. You may find some automated assistance from doxygen.postgresql.org .
Sincerely,
JD
doxygen is great as far as it goes, but it does a great job of separating function definition from the comment explaining the function, so I have to drill into the raw source anyway.
Also, doxygen isn't very helpful with macros, and a lot of functions in the internals are actually macros.