I am using version 0.8.0.7. Must be from devel, but I forgot when and from where I installed it. On my main N900, I backed up downloader.py and changed a few things as described above. Then I placed back the old file and it worked (sounds a bit like your solution: give all bits and bytes a chance to settle again?). On the backup N900, I changed absolutely nothing over the last few weeks...