wiki updates

[Lin Sun]

Hi,

I saw there is quite some work going on with our wiki which I didn't
know anything about till now.  I wonder if we should notify wiki
changes to our dev list.    What do people think of that?

Lin