message: Ooops, forgot to stage part of last commit
diff: @@ -372,8 +372,8 @@ export class BuildInfo {
  const runInfo = document.createElement("h3");
  runInfo.innerHTML = runName.replace(
  - /(\\d+)\\-(\\w+)/,
  - "$2 \\u2014 Rule $1"
  + /(\d+)\-(\w+)/,
  + "$2 \u2014 Rule $1"
  );
  column.appendChild(runInfo);
  const ul = document.createElement("ul");
  @@ -381,7 +381,9 @@ export class BuildInfo {
  const li = document.createElement("li");
  li.innerHTML =
  '<span class="pageNo">' +
  - (pageNo != 0 ? "Page " + (pageNo != 1 ? pageNo : pageNo + ' + Preamble') : "Rule Startup") +
  + (pageNo != 0
  + ? "Page " + (pageNo != 1 ? pageNo : pageNo + " + Preamble")
  + : "Rule Startup") +
  '</span> <span class="pageTime">' +
  this.pageTimes[runName][pageNo] +
  " <i>ms</i></span>";
  @@ -394,9 +396,9 @@ export class BuildInfo {
  start: function(updateGap = 10) {
  this.stop();
  - this.pageTimes = {}
  + this.pageTimes = {};
  this.pageTimesDiv.innerHTML = "";
  - this.drawGraph()
  + this.drawGraph();
  this.updateTimesInterval = setInterval(() => {
  this.updateTimingInfo();
  }, updateGap);
  @@ -421,7 +423,7 @@ export class BuildInfo {
  (+new Date() - this.startTime) /
  1000
  ).toFixed(2);
  - this.etaSpan.innerHTML = "\\u2014";
  + this.etaSpan.innerHTML = "\u2014";
  },
  drawGraph: function() {
  @@ -451,11 +453,13 @@ export class BuildInfo {
  bottom:
  (this.rem * 2 + this.graph.textMargin) *
  this.graph.resolutionMultiplier,
  - top: this.graph.circleRadius * this.graph.resolutionMultiplier,
  + top: this.graph.circleRadius * this.graph.resolutionMultiplier + 2,
  left:
  (this.rem * 2.25 + this.graph.textMargin) *
  this.graph.resolutionMultiplier,
  - right: this.graph.circleRadius * this.graph.resolutionMultiplier
  + right:
  + this.graph.circleRadius * this.graph.resolutionMultiplier +
  + 0.5 * this.rem * this.graph.resolutionMultiplier
  };
  // draw axes
  @@ -642,14 +646,12 @@ export class BuildInfo {
  closestPoint.y + this.rem * this.graph.resolutionMultiplier * 0.8
  );
  + ctx.globalAlpha = 0.7;
  ctx.font = 1.2 * this.graph.resolutionMultiplier + "rem serif";
  ctx.textAlign = "center";
  ctx.textBaseline = "top";
  ctx.fillText(
  - closestPoint.runName.replace(
  - /(\\d+)\\-(\\w+)/,
  - "$2 (rule $1)"
  - ),
  + closestPoint.runName.replace(/(\d+)\-(\w+)/, "$2 (rule $1)"),
  (ctx.width + this.graph.margins.left - this.graph.margins.right) /
  2,
  this.graph.margins.top
  