Are we sure GoDaddy supports SSL on parked domains? My offer still stands to sort the DNS bit out.
I think probably not. There are no options at all when creating the re-direction. (There is an option for adding DNSSEC to the accoutn but that requires an additional payment which I won't be doing).
I can't give you access to my GoDaddy account. I have too much personal stuff there.
Re-directing nuttx.org was an interim solution to make the transition to Apache NuttX easier. If people are unhappy with that, I will end the re-direction. I can do that with a single button push. That has to be done anyway. Today is as good a day as any.