Tweaks to navigation; committing some changes to generated files that need tracking.