MM> We could also upload a free OGG player or the like. [[Wikipedia:Software MM> resources]] or something. I don't think, we have to mirror every single GPL software. But maybe a comprehensive catalogue of free software and data (like fonts) would be a good idea.