> I see. But then tlmgr-gui.exe could be removed from the Windows binaries > since it is pointless now, right? It was removed from bin/win32: r50391. Best, Akira