[m-dev.] referenced papers

[Matthias Güdemann]

Hi,

>> If anything, it should be a new git repository, e.g. "papers".

I think an additional 'papers' repository on github would be a good
idea (maybe using 'git-annex' ?), in case of a problem, it would be
easier to remove a paper from there than from the main repository.

> Aren't all the papers already in the www repository?

I think the idea is to include external papers from other groups.

Matthias