"Akira Kakuto" <kakuto at w32tex.org> writes: >> 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. Ah, ok. Then it wasn't deleted during the updates. It is still there in my bin/win32. But that's not a big issue, I think. -- Uwe