http://lists.inf.ethz.ch/pipermail/barrelfish-users/2010-May/author.html
... http://lists.inf.ethz.ch/pipermail/ barrelfish-users/2010-May/author.html ...
http://lists.inf.ethz.ch/pipermail/barrelfish-users/2010-May/date.html
... http://lists.inf.ethz.ch/pipermail/ barrelfish-users/2010-May/date.html ...
http://lists.inf.ethz.ch/pipermail/barrelfish-users/2010-May/subjec...
... http://lists.inf.ethz.ch/pipermail/ barrelfish-users/2010-May/subject.html ...
http://lists.inf.ethz.ch/pipermail/barrelfish-users/2010-May/thread.html
... http://lists.inf.ethz.ch/pipermail/ barrelfish-users/2010-May/thread.html ...
http://lists.inf.ethz.ch/pipermail/barrelfish-users/2018-May/author.html
... http://lists.inf.ethz.ch/pipermail/ barrelfish-users/2018-May/author.html ...
http://lists.inf.ethz.ch/pipermail/barrelfish-users/2018-May/date.html
... http://lists.inf.ethz.ch/pipermail/ barrelfish-users/2018-May/date.html ...
http://lists.inf.ethz.ch/pipermail/barrelfish-users/2018-May/subjec...
... http://lists.inf.ethz.ch/pipermail/ barrelfish-users/2018-May/subject.html ...
http://lists.inf.ethz.ch/pipermail/barrelfish-users/2018-May/thread.html
... http://lists.inf.ethz.ch/pipermail/ barrelfish-users/2018-May/thread.html ...