New Jucer pulled in latest tip?

I did an update to the latest tip (1.53.47) version (using the auth-update featuer of the new Jucer), and I don’t know if I’m looking in the wrong place but it seems that the new Jucer is gone from the “extras” folder…?


I renamed it to “Introjucer”… sorry, I should have mentioned that somewhere. (Having two different things called “jucer” was getting ridiculous)