I propose we either disable source downloading by default at release time, but I conclude that developers generally don't care about this extra overhead (as we have a good setup). If really we can't see this from a user PoV, I'm happy to start a user discussion and see how users feel...?