Re: nuttx website

[Gregory Nutt]

I just changed nuttx.org so that it should re-direct to 
nuttx.apache.org.  This involved changing the name server so there will 
be some delay before it is effective. If you do not see anything after a 
reasonable amount of time, let me know and I will look into it.

I noticed the website nuttx.org doesn't mention a word about the new Apache
move. Moreover the documentation section seems to be broken and leads to
empty pages (eg documentation/userguide).
Wouldn't be easiest just to simply redirect the page to nuttx.apache.org?
Since google's first hit is nuttx.org, people looking for more information
might think the project isn't very active.