On 31/05/2016 15:52, Sven Van Caekenberghe wrote:
Well, one day we had a very cool option whereby the missing source file was downloaded automatically, but we had to disable it again because of unreliable networking for some people. A pity.
Couldn't this be just change in order to ask to the user if he wanted to launch the download instead of doing it automatically?