#160: autolink usernames on hub.darcs.net/<repo>/issues pages

darcs repository web UI and hosting app. This is the main darcsden trunk, which also runs hub.darcs.net. (https://hub.darcs.net)