most repos in legal.se now have working download