On 10/23/14, 6:33 AM, "Ramon Pfeiffer" <ramon.pfeiffer at uni-tuebingen.de> wrote: > >Given it is such a bad practice to use the username (as mentioned by >Scott), it shouldn't appear like this on the wiki-page. And being that it's a wiki, you can change it. -- Scott