#1075: Updating in wiki should use login username if no special git username has been used. And only fallback to anonymous if no login either.