@lkcampbell 
Yes, we were talking about the same thing.

We first had this:
Reload without custom (meaning _installed_/_User_) extensions

Then I changed it to this:
Reload without extensions

But our reason to change this wasn't because it hadn't included the dev folder, it was just too long.