So what is that? Well, TimeDatectl show is showing configuration, or
TimeDatectl status is showing configuration in a more readable way.
And the misleading thing about timedatectl is that it's telling us NTP servers active looks as if
it is talking to the systemd time syncd service. That's not the case, but it does show
quite correctly what is going on regarding time synchronization on my system. And that's all.