Someone told me that Digital Ocean's definition of "vCPU" includes hyperthreaded "cores"? Is that true? The benchmarks I ran do tend to agree with this hypothesis.