compares plc.directory with other mirrors
change names of ops headers to be shorter so they look better on mobile
+4
-4
+4
-4
index.html
+4
-4
index.html
···
486
486
</span>
487
487
</th>
488
488
<th class="th-r">
489
-
<span class="tip-label">total events</span>
489
+
<span class="tip-label">total ops</span>
490
490
<span class="tip">
491
-
<span class="tip-title">total events</span>
491
+
<span class="tip-title">total ops</span>
492
492
All operations received from this host since the server started, across all op types.
493
493
Not windowed — resets on server restart.
494
494
</span>
495
495
</th>
496
496
<th class="th-r">
497
-
<span class="tip-label">ops (15 min)</span>
497
+
<span class="tip-label">ops</span>
498
498
<span class="tip">
499
-
<span class="tip-title">ops (15 min)</span>
499
+
<span class="tip-title">ops</span>
500
500
Operations received from this host in the rolling <em>15-minute window</em>.
501
501
Used as the numerator for coverage and missed calculations.
502
502
</span>