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.
