tlcmd wrote:Thanks. Will download and install later this week when i have some free time.
That's a good idea ... especially because the repository servers are super erratic and very slow today .... if they even work at all. I've been trying all the mirrors for many hours. Cannot find anything resembling a reasonable connection. The problem's not here either. Internet speed checks out well and I have no difficulties anywhere else.