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.