This commit is a first in a series to extract all Prometheus server
specific documentation pages and load them from the prometheus
repository instead.