my extras-devel has stopped working since upgrading to pr1.2. Normally this would be OK for short periods of time, but I'm not able to redownload all of my previously installed apps because a lot of them came from extras-devel. Anyone else have the same problem? It's been non working now for about 5 days.