Username from WebArena is now displayed in Etherpad