In the release notes for 7.13.1, an improvement to Instant Update is described, I've pasted it below. I didn't notice this too much when reading the release notes. BUT, after using 7.13.1 for some of my apps, I have been blown away by how much faster this makes my work go! When I switch to an app using an earlier version, I really notice the slowdown in my work. Many thanks to Tim for suggesting this and to Mendix for implementing! Awesome work!