that they should be mined and dumped into the documentation.

Feel free to add (or send patches with descriptions, preferably
only one line or paragraph for each.