Re: nuttx.org certificate error

[Gregory Nutt]

I vote that we end the re-direction.  It is time to break that tie.

When that tie is broken, this Issue becomes more important: 
https://github.com/apache/incubator-nuttx/issues/1498