web/download: remove developer repos and cleanup