set navigation block name using theme('username'...)

In the jquerymenu.module file inside the jquery_block function the title of the navigation block is set using the following code:

if ($menuname == 'navigation' && !empty($user->uid)) {
$title = $user->name;
}

If this is changed to use the theme function, then it can support the realname module and other modules that might manipulate the name:

if ($menuname == 'navigation' && !empty($user->uid)) {
$title = theme('username', $user);
}

As this is not a 'theming problem' I decided to post this suggestion in other to facilitate the interactions of your module with others.