[Developers] Documentation patch (fwd)

[Jonathan Thornburg]

Hi, Josh,

Steve White wrote:
> It appears you are fixing PR 1859.
> 
> Please note that PR 1933 contains more undocumented functions.

Searching the bugs database for the string "documented" turns up
a number of other "functions defined by the flesh but not documented"
bugs, notably #1357, #1494, #1867, and #1872.
If you're feeling inspired, you could try fixing these, too.

ciao,

-- 
-- Jonathan Thornburg <jthorn at aei.mpg.de>
    Max-Planck-Institut fuer Gravitationsphysik (Albert-Einstein-Institut),
    Golm, Germany, "Old Europe"     http://www.aei.mpg.de/~jthorn/home.html
    "Washing one's hands of the conflict between the powerful and the
     powerless means to side with the powerful, not to be neutral."
                                       -- quote by Freire / poster by Oxfam