Well, something in the latest updates pushed the inst image over 700mb. So I am excluding the tlpmgui x86_64 binary from inst (not useful), which gets it down to 699mb, and remaking the images again.