Admin/user-aliases
Fri, 29 Oct 2010 16:04:35 +0200 added user aliasses (still unclear how to specify names with whitespace contained)
Wed, 16 Dec 2009 14:24:18 +0100 spaces not allowed, unfortunately
Wed, 16 Dec 2009 14:15:24 +0100 user aliasses
Tue, 29 Sep 2009 22:53:07 +0200 aliases for Thomas Sewell;
Thu, 12 Mar 2009 23:12:53 +0100 more user aliases;
Mon, 19 Jan 2009 13:38:23 +0100 lcp = paulson
Sun, 18 Jan 2009 21:36:59 +0100 corrected user aliases
Sun, 18 Jan 2009 21:12:06 +0100 added churn script