Hi, This seems to have slipped between the cracks.
Currently https://nuttx.apache.org is returning a 404 which is not a good look. You might want to look at this with a little more urgency as it's the way new user and committers will find out about your project. Thanks, Justin
