Can anyone think of a way to replace the wiki usernames that are displayed in the recent changes, history etc, with the user's real name as specified in the preferences? Many of my wiki's have ugly enterprise IDs (eg rcar004) for usernames and it would be nice to have the real name displayed instead.

Rob