If that's true, it's wonderful and I applaud them for making this decision.

I haven't been following this conversation closely; is there any serious change of Linux (some distributions, or the kernel upstream) disabling HT by default?