(docs) Nav: Make version number detection play nicely with mixed content
(docs) Nav: Make version number detection play nicely with mixed content

We don't do it now, but in a future update where we combine all our platform
docs to make a unified manual, this tweak will make PuppetDB's nav show the
proper PuppetDB version even if you happen to be on a Puppet Server page.

mullr/puppetdb,mullr/puppetdb,rbrw/puppetdb,rbrw/puppetdb,puppetlabs/puppetdb,senior/puppetdb,waynr/puppetdb,puppetlabs/puppetdb,mullr/puppetdb,puppetlabs/puppetdb,rbrw/puppetdb,mullr/puppetdb,rbrw/puppetdb,waynr/puppetdb,waynr/puppetdb,senior/puppetdb,rbrw/puppetdb,mullr/puppetdb,waynr/puppetdb,puppetlabs/puppetdb,senior/puppetdb,puppetlabs/puppetdb,senior/puppetdb