{ ... }:
{
  # Hedgedoc already exports at /metrics
  services.prometheus.scrapeConfigs = [{
    job_name = "hedgedoc";
    scrape_interval = "15s";
    metrics_path = "/metrics/hedgedoc";
    static_configs = [{
      targets = [ "localhost" ];
    }];
  }];
}