Rename advert media and pages so ad blockers do not hide them

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01YDRjtmAiNpo5mK5N3d7QwZ

layouts/_partials/machine-header.html

@@ -11,7 +11,8 @@
   <nav class="tabs" data-pagefind-ignore>
     <a href="{{ $m.RelPermalink }}"{{ if not $.tab }} class="active"{{ end }}>System info</a>
     {{ range $m.Params.tabs }}
-    <a href="{{ $m.RelPermalink }}{{ . }}/"{{ if eq . $.tab }} class="active"{{ end }}>{{ index $labels . }}</a>
+    {{/* same address as written by the converter: "adverts" would be hidden by ad blockers */}}
+    <a href="{{ $m.RelPermalink }}{{ cond (eq . "adverts") "pubs" . }}/"{{ if eq . $.tab }} class="active"{{ end }}>{{ index $labels . }}</a>
     {{ end }}
   </nav>
 </header>