Lee Sharkey comments on Neural Tangent Kernel Distillation