Van bármilyen előnye a time.kfki.hu használatának a [hu.]pool.ntp.org helyett? A hátrányát szépen demonstrálta az eset.