Hi,
this is a very good idea. One quick solution could be, to retrieve the real name when reading the changelog.
Go to "inc/changelog.php" and at the following 2 items into the code. I don't know, how much overhead it produces, but it seems to work for the moment.
for a function parseChangelogLine($line) {
// start hack
global $auth;
// end hack
$tmp = explode("\t", $line);
if ($tmp!==false && count($tmp)>1) {
$info = array();
$info['date'] = (int)$tmp[0]; // unix timestamp
$info['ip'] = $tmp[1]; // IPv4 address (127.0.0.1)
$info['type'] = $tmp[2]; // log line type
$info['id'] = $tmp[3]; // page id
$info['user'] = $tmp[4]; // user name
// start hack: fetch real name
$user = $auth->getUserData($info['user']);
$info['user'] = $user['name'];
// end hack
$info['sum'] = $tmp[5]; // edit summary (or action reason)
$info['extra'] = rtrim($tmp[6], "\n"); // extra data (varies by line type)
return $info;
} else { return false; }
}