CONGRATULATIONS LUP AND BIG THANK YOU FOR SAVING OUR CI!!! :-) We have nuttx.org and nuttx.com domains (owned by Greg) that I control so we can create a nice subdomain and add the link on our official website. Domains redirect to nuttx.apache.org but we can create a dedicated services subdomains and I can provide shared hosting if needed :-)
-- CeDeROM, SQ7MHZ, http://www.tomek.cedro.info