Extra $form['submission_info'] and $form['navigation'] in webform-form.tpl.php do nothing

While trying to look at a "roll your own" solution for displaying a progress bar (see my comment here: http://drupal.org/node/258696), I started digging through the available themeable elements. I'm also using Theme Developer to inspect the various renderings so try to compare code vs. result.

In the default implementation of webform-form, I see two variables ($form['submission_info'] and $form['navigation']):

  // If editing or viewing submissions, display the navigation at the top.
  if (isset($form['submission_info']) || isset($form['navigation'])) {
    print drupal_render($form['navigation']);
    print drupal_render($form['submission_info']);
  }
...
  // Print out the navigation again at the bottom.
  if (isset($form['submission_info']) || isset($form['navigation'])) {
    unset($form['navigation']['#printed']);
    print drupal_render($form['navigation']);
  }

The comments in the file make them sound like navigation that is handled when an administrator is browsing among completed submissions and not the form. Aren't these already covered in the webform-submission-page.tpl.php and webform-submission-navigation.tpl.php templates? I'm seeing nowhere in the module code where these form elements are ever populated.

On semi-related topic, if I did want to go down the path of creating my own progress bar, my best bet is to override theme_webform_view, correct? That's the only opportunity I see to have access to $node->webform['components] so that I can extract page break titles. My only apprehension is because in the default implementation, I see a conditional checking if the form is enabled and only renders the form if that is true.

function theme_webform_view($variables) {
  // Only show the form if this user is allowed access.
  if ($variables['webform']['#enabled']) {
    return drupal_render($variables['webform']['#form']);
  }
}

Is that better handled somewhere in the body of the function webform_node_view so that all overrides of theme_webform_view have to perform this check on their own?

If in either case I'm on the right path, I'd be happy to submit a patch. I just want check I'm not misunderstanding the code first.