@khanacademy/perseus-linter 0.3.0 → 0.3.2

package/dist/es/index.js

@@ -1,56 +1,25 @@
 import { PerseusError, Errors } from '@khanacademy/perseus-error';
 import PropTypes from 'prop-types';
 
-function ownKeys(object, enumerableOnly) {
-  var keys = Object.keys(object);
-  if (Object.getOwnPropertySymbols) {
-    var symbols = Object.getOwnPropertySymbols(object);
-    enumerableOnly && (symbols = symbols.filter(function (sym) {
-      return Object.getOwnPropertyDescriptor(object, sym).enumerable;
-    })), keys.push.apply(keys, symbols);
-  }
-  return keys;
-}
-function _objectSpread2(target) {
-  for (var i = 1; i < arguments.length; i++) {
-    var source = null != arguments[i] ? arguments[i] : {};
-    i % 2 ? ownKeys(Object(source), !0).forEach(function (key) {
-      _defineProperty(target, key, source[key]);
-    }) : Object.getOwnPropertyDescriptors ? Object.defineProperties(target, Object.getOwnPropertyDescriptors(source)) : ownKeys(Object(source)).forEach(function (key) {
-      Object.defineProperty(target, key, Object.getOwnPropertyDescriptor(source, key));
-    });
-  }
-  return target;
-}
-function _defineProperty(obj, key, value) {
-  key = _toPropertyKey(key);
-  if (key in obj) {
-    Object.defineProperty(obj, key, {
-      value: value,
-      enumerable: true,
-      configurable: true,
-      writable: true
-    });
-  } else {
-    obj[key] = value;
-  }
-  return obj;
-}
-function _toPrimitive(input, hint) {
-  if (typeof input !== "object" || input === null) return input;
-  var prim = input[Symbol.toPrimitive];
-  if (prim !== undefined) {
-    var res = prim.call(input, hint || "default");
-    if (typeof res !== "object") return res;
-    throw new TypeError("@@toPrimitive must return a primitive value.");
-  }
-  return (hint === "string" ? String : Number)(input);
-}
-function _toPropertyKey(arg) {
-  var key = _toPrimitive(arg, "string");
-  return typeof key === "symbol" ? key : String(key);
+function _extends() {
+  _extends = Object.assign || function (target) {
+    for (var i = 1; i < arguments.length; i++) {
+      var source = arguments[i];
+
+      for (var key in source) {
+        if (Object.prototype.hasOwnProperty.call(source, key)) {
+          target[key] = source[key];
+        }
+      }
+    }
+
+    return target;
+  };
+
+  return _extends.apply(this, arguments);
 }
 
+/* eslint-disable no-useless-escape */
 /**
  * This is the base class for all Selector types. The key method that all
  * selector subclasses must implement is match(). It takes a TraversalState
@@ -96,8 +65,8 @@ class Parser {
   // Which token in the array we're looking at now
 
   constructor(s) {
-    _defineProperty(this, "tokens", void 0);
-    _defineProperty(this, "tokenIndex", void 0);
+    this.tokens = void 0;
+    this.tokenIndex = void 0;
     // Normalize whitespace:
     // - remove leading and trailing whitespace
     // - replace runs of whitespace with single space characters
@@ -124,7 +93,7 @@ class Parser {
   isIdentifier() {
     // The Parser.TOKENS regexp ensures that we only have to check
     // the first character of a token to know what kind of token it is.
-    var c = this.tokens[this.tokenIndex][0];
+    const c = this.tokens[this.tokenIndex][0];
     return c >= "a" && c <= "z" || c >= "A" && c <= "Z";
   }
 
@@ -140,10 +109,10 @@ class Parser {
   // ever need to call.
   parse() {
     // We expect at least one tree selector
-    var ts = this.parseTreeSelector();
+    const ts = this.parseTreeSelector();
 
     // Now see what's next
-    var token = this.nextToken();
+    let token = this.nextToken();
 
     // If there is no next token then we're done parsing and can return
     // the tree selector object we got above
@@ -153,7 +122,7 @@ class Parser {
 
     // Otherwise, there is more go come and we're going to need a
     // list of tree selectors
-    var treeSelectors = [ts];
+    const treeSelectors = [ts];
     while (token) {
       // The only character we allow after a tree selector is a comma
       if (token === ",") {
@@ -179,7 +148,7 @@ class Parser {
     this.skipSpace(); // Ignore space after a comma, for example
 
     // A tree selector must begin with a node selector
-    var ns = this.parseNodeSelector();
+    let ns = this.parseNodeSelector();
     for (;;) {
       // Now check the next token. If there is none, or if it is a
       // comma, then we're done with the treeSelector. Otherwise
@@ -188,7 +157,7 @@ class Parser {
       // do see a combinator and another node selector then we
       // combine the current node selector with the new node selector
       // using a Selector subclass that depends on the combinator.
-      var token = this.nextToken();
+      const token = this.nextToken();
       if (!token || token === ",") {
         break;
       } else if (token === " ") {
@@ -219,7 +188,7 @@ class Parser {
   parseNodeSelector() {
     // First, skip any whitespace
     this.skipSpace();
-    var t = this.nextToken();
+    const t = this.nextToken();
     if (t === "*") {
       this.consume();
       return new AnyNode();
@@ -236,7 +205,7 @@ class Parser {
 // are identifiers, integers, punctuation and spaces. Note that spaces
 // tokens are only returned when they appear before an identifier or
 // wildcard token and are otherwise omitted.
-_defineProperty(Parser, "TOKENS", void 0);
+Parser.TOKENS = void 0;
 Parser.TOKENS = /([a-zA-Z][\w-]*)|(\d+)|[^\s]|(\s(?=[a-zA-Z\*]))/g;
 
 /**
@@ -257,13 +226,13 @@ class ParseError extends Error {
 class SelectorList extends Selector {
   constructor(selectors) {
     super();
-    _defineProperty(this, "selectors", void 0);
+    this.selectors = void 0;
     this.selectors = selectors;
   }
   match(state) {
-    for (var i = 0; i < this.selectors.length; i++) {
-      var s = this.selectors[i];
-      var result = s.match(state);
+    for (let i = 0; i < this.selectors.length; i++) {
+      const s = this.selectors[i];
+      const result = s.match(state);
       if (result) {
         return result;
       }
@@ -271,8 +240,8 @@ class SelectorList extends Selector {
     return null;
   }
   toString() {
-    var result = "";
-    for (var i = 0; i < this.selectors.length; i++) {
+    let result = "";
+    for (let i = 0; i < this.selectors.length; i++) {
       result += i > 0 ? ", " : "";
       result += this.selectors[i].toString();
     }
@@ -300,11 +269,11 @@ class AnyNode extends Selector {
 class TypeSelector extends Selector {
   constructor(type) {
     super();
-    _defineProperty(this, "type", void 0);
+    this.type = void 0;
     this.type = type;
   }
   match(state) {
-    var node = state.currentNode();
+    const node = state.currentNode();
     if (node.type === this.type) {
       return [node];
     }
@@ -324,8 +293,8 @@ class TypeSelector extends Selector {
 class SelectorCombinator extends Selector {
   constructor(left, right) {
     super();
-    _defineProperty(this, "left", void 0);
-    _defineProperty(this, "right", void 0);
+    this.left = void 0;
+    this.right = void 0;
     this.left = left;
     this.right = right;
   }
@@ -341,12 +310,12 @@ class AncestorCombinator extends SelectorCombinator {
     super(left, right);
   }
   match(state) {
-    var rightResult = this.right.match(state);
+    const rightResult = this.right.match(state);
     if (rightResult) {
       state = state.clone();
       while (state.hasParent()) {
         state.goToParent();
-        var leftResult = this.left.match(state);
+        const leftResult = this.left.match(state);
         if (leftResult) {
           return leftResult.concat(rightResult);
         }
@@ -369,12 +338,12 @@ class ParentCombinator extends SelectorCombinator {
     super(left, right);
   }
   match(state) {
-    var rightResult = this.right.match(state);
+    const rightResult = this.right.match(state);
     if (rightResult) {
       if (state.hasParent()) {
         state = state.clone();
         state.goToParent();
-        var leftResult = this.left.match(state);
+        const leftResult = this.left.match(state);
         if (leftResult) {
           return leftResult.concat(rightResult);
         }
@@ -397,12 +366,12 @@ class PreviousCombinator extends SelectorCombinator {
     super(left, right);
   }
   match(state) {
-    var rightResult = this.right.match(state);
+    const rightResult = this.right.match(state);
     if (rightResult) {
       if (state.hasPreviousSibling()) {
         state = state.clone();
         state.goToPreviousSibling();
-        var leftResult = this.left.match(state);
+        const leftResult = this.left.match(state);
         if (leftResult) {
           return leftResult.concat(rightResult);
         }
@@ -425,12 +394,12 @@ class SiblingCombinator extends SelectorCombinator {
     super(left, right);
   }
   match(state) {
-    var rightResult = this.right.match(state);
+    const rightResult = this.right.match(state);
     if (rightResult) {
       state = state.clone();
       while (state.hasPreviousSibling()) {
         state.goToPreviousSibling();
-        var leftResult = this.left.match(state);
+        const leftResult = this.left.match(state);
         if (leftResult) {
           return leftResult.concat(rightResult);
         }
@@ -443,6 +412,128 @@ class SiblingCombinator extends SelectorCombinator {
   }
 }
 
+/**
+ * The Rule class represents a Perseus lint rule. A Rule instance has a check()
+ * method that takes the same (node, state, content) arguments that a
+ * TreeTransformer traversal callback function does. Call the check() method
+ * during a tree traversal to determine whether the current node of the tree
+ * violates the rule. If there is no violation, then check() returns
+ * null. Otherwise, it returns an object that includes the name of the rule,
+ * an error message, and the start and end positions within the node's content
+ * string of the lint.
+ *
+ * A Perseus lint rule consists of a name, a severity, a selector, a pattern
+ * (RegExp) and two functions. The check() method uses the selector, pattern,
+ * and functions as follows:
+ *
+ * - First, when determining which rules to apply to a particular piece of
+ *   content, each rule can specify an optional function provided in the fifth
+ *   parameter to evaluate whether or not we should be applying this rule.
+ *   If the function returns false, we don't use the rule on this content.
+ *
+ * - Next, check() tests whether the node currently being traversed matches
+ *   the selector. If it does not, then the rule does not apply at this node
+ *   and there is no lint and check() returns null.
+ *
+ * - If the selector matched, then check() tests the text content of the node
+ *   (and its children) against the pattern. If the pattern does not match,
+ *   then there is no lint, and check() returns null.
+ *
+ * - If both the selector and pattern match, then check() calls the function
+ *   passing the TraversalState object, the content string for the node, the
+ *   array of nodes returned by the selector match, and the array of strings
+ *   returned by the pattern match. This function can use these arguments to
+ *   implement any kind of lint detection logic it wants. If it determines
+ *   that there is no lint, then it should return null. Otherwise, it should
+ *   return an error message as a string, or an object with `message`, `start`
+ *   and `end` properties. The start and end properties are numbers that mark
+ *   the beginning and end of the problematic content. Note that these numbers
+ *   are relative to the content string passed to the traversal callback, not
+ *   to the entire string that was used to generate the parse tree in the
+ *   first place. TODO(davidflanagan): modify the simple-markdown library to
+ *   have an option to add the text offset of each node to the parse
+ *   tree. This will allows us to pinpoint lint errors within a long string
+ *   of markdown text.
+ *
+ * - If the function returns null, then check() returns null. Otherwise,
+ *   check() returns an object with `rule`, `message`, `start` and `end`
+ *   properties. The value of the `rule` property is the name of the rule,
+ *   which is useful for error reporting purposes.
+ *
+ * The name, severity, selector, pattern and function arguments to the Rule()
+ * constructor are optional, but you may not omit both the selector and the
+ * pattern. If you do not specify a selector, a default selector that matches
+ * any node of type "text" will be used. If you do not specify a pattern, then
+ * any node that matches the selector will be assumed to match the pattern as
+ * well. If you don't pass a function as the fourth argument to the Rule()
+ * constructor, then you must pass an error message string instead. If you do
+ * this, you'll get a default function that unconditionally returns an object
+ * that includes the error message and the start and end indexes of the
+ * portion of the content string that matched the pattern. If you don't pass a
+ * function in the fifth parameter, the rule will be applied in any context.
+ *
+ * One of the design goals of this Rule class is to allow simple lint rules to
+ * be described in JSON files without any JavaScript code. So in addition to
+ * the Rule() constructor, the class also defines a Rule.makeRule() factory
+ * method. This method takes a single object as its argument and expects the
+ * object to have four string properties. The `name` property is passed as the
+ * first argument to the Rule() construtctor.  The optional `selector`
+ * property, if specified, is passed to Selector.parse() and the resulting
+ * Selector object is used as the second argument to Rule().  The optional
+ * `pattern` property is converted to a RegExp before being passed as the
+ * third argument to Rule(). (See Rule.makePattern() for details on the string
+ * to RegExp conversion). Finally, the `message` property specifies an error
+ * message that is passed as the final argument to Rule(). You can also use a
+ * real RegExp as the value of the `pattern` property or define a custom lint
+ * function on the `lint` property instead of setting the `message`
+ * property. Doing either of these things means that your rule description can
+ * no longer be saved in a JSON file, however.
+ *
+ * For example, here are two lint rules defined with Rule.makeRule():
+ *
+ *    let nestedLists = Rule.makeRule({
+ *        name: "nested-lists",
+ *        selector: "list list",
+ *        message: `Nested lists:
+ *    nested lists are hard to read on mobile devices;
+ *    do not use additional indentation.`,
+ *    });
+ *
+ *    let longParagraph = Rule.makeRule({
+ *        name: "long-paragraph",
+ *        selector: "paragraph",
+ *        pattern: /^.{501,}/,
+ *        lint: function(state, content, nodes, match) {
+ *            return `Paragraph too long:
+ *    This paragraph is ${content.length} characters long.
+ *    Shorten it to 500 characters or fewer.`;
+ *        },
+ *    });
+ *
+ * Certain advanced lint rules need additional information about the content
+ * being linted in order to detect lint. For example, a rule to check for
+ * whitespace at the start and end of the URL for an image can't use the
+ * information in the node or content arguments because the markdown parser
+ * strips leading and trailing whitespace when parsing. (Nevertheless, these
+ * spaces have been a practical problem for our content translation process so
+ * in order to check for them, a lint rule needs access to the original
+ * unparsed source text. Similarly, there are various lint rules that check
+ * widget usage. For example, it is easy to write a lint rule to ensure that
+ * images have alt text for images encoded in markdown. But when images are
+ * added to our content via an image widget we also want to be able to check
+ * for alt text. In order to do this, the lint rule needs to be able to look
+ * widgets up by name in the widgets object associated with the parse tree.
+ *
+ * In order to support advanced linting rules like these, the check() method
+ * takes a context object as its optional fourth argument, and passes this
+ * object on to the lint function of each rule. Rules that require extra
+ * context should not assume that they will always get it, and should verify
+ * that the necessary context has been supplied before using it. Currently the
+ * "content" property of the context object is the unparsed source text if
+ * available, and the "widgets" property of the context object is the widget
+ * object associated with that content string in the JSON object that defines
+ * the Perseus article or exercise that is being linted.
+ */
 /**
  * A Rule object describes a Perseus lint rule. See the comment at the top of
  * this file for detailed description.
@@ -459,14 +550,13 @@ class Rule {
   // The comment at the top of this file has detailed docs for
   // this constructor and its arguments
   constructor(name, severity, selector, pattern, lint, applies) {
-    var _this = this;
-    _defineProperty(this, "name", void 0);
-    _defineProperty(this, "severity", void 0);
-    _defineProperty(this, "selector", void 0);
-    _defineProperty(this, "pattern", void 0);
-    _defineProperty(this, "lint", void 0);
-    _defineProperty(this, "applies", void 0);
-    _defineProperty(this, "message", void 0);
+    this.name = void 0;
+    this.severity = void 0;
+    this.selector = void 0;
+    this.pattern = void 0;
+    this.lint = void 0;
+    this.applies = void 0;
+    this.message = void 0;
     if (!selector && !pattern) {
       throw new PerseusError("Lint rules must have a selector or pattern", Errors.InvalidInput, {
         metadata: {
@@ -485,9 +575,7 @@ class Rule {
       this.lint = lint;
       this.message = null;
     } else {
-      this.lint = function () {
-        return _this._defaultLintFunction(...arguments);
-      };
+      this.lint = (...args) => this._defaultLintFunction(...args);
       this.message = lint;
     }
     this.applies = applies || function () {
@@ -508,7 +596,7 @@ class Rule {
     // First, see if we match the selector.
     // If no selector was passed to the constructor, we use a
     // default selector that matches text nodes.
-    var selectorMatch = this.selector.match(traversalState);
+    const selectorMatch = this.selector.match(traversalState);
 
     // If the selector did not match, then we're done
     if (!selectorMatch) {
@@ -516,7 +604,7 @@ class Rule {
     }
 
     // If the selector matched, then see if the pattern matches
-    var patternMatch;
+    let patternMatch;
     if (this.pattern) {
       patternMatch = content.match(this.pattern);
     } else {
@@ -532,7 +620,7 @@ class Rule {
     try {
       // If we get here, then the selector and pattern have matched
       // so now we call the lint function to see if there is lint.
-      var error = this.lint(traversalState, content, selectorMatch, patternMatch, context);
+      const error = this.lint(traversalState, content, selectorMatch, patternMatch, context);
       if (!error) {
         return null; // No lint; we're done
       }
@@ -565,7 +653,9 @@ class Rule {
       // a rule was failing.
       return {
         rule: "lint-rule-failure",
-        message: "Exception in rule ".concat(this.name, ": ").concat(e.message, "\nStack trace:\n").concat(e.stack),
+        message: `Exception in rule ${this.name}: ${e.message}
+Stack trace:
+${e.stack}`,
         start: 0,
         end: content.length
       };
@@ -610,10 +700,10 @@ class Rule {
       return pattern;
     }
     if (pattern[0] === "/") {
-      var lastSlash = pattern.lastIndexOf("/");
-      var expression = pattern.substring(1, lastSlash);
-      var flags = pattern.substring(lastSlash + 1);
-      // @ts-expect-error [FEI-5003] - TS2713 - Cannot access 'RegExp.flags' because 'RegExp' is a type, but not a namespace. Did you mean to retrieve the type of the property 'flags' in 'RegExp' with 'RegExp["flags"]'?
+      const lastSlash = pattern.lastIndexOf("/");
+      const expression = pattern.substring(1, lastSlash);
+      const flags = pattern.substring(lastSlash + 1);
+      // @ts-expect-error - TS2713 - Cannot access 'RegExp.flags' because 'RegExp' is a type, but not a namespace. Did you mean to retrieve the type of the property 'flags' in 'RegExp' with 'RegExp["flags"]'?
       return new RegExp(expression, flags);
     }
     return new RegExp(pattern);
@@ -624,19 +714,19 @@ class Rule {
   // String.match() method. We use it when a Rule has no pattern and we
   // want to simulate a match on the entire content string.
   static FakePatternMatch(input, match, index) {
-    var result = [match];
+    const result = [match];
     result.index = index;
     result.input = input;
     return result;
   }
 }
-_defineProperty(Rule, "DEFAULT_SELECTOR", void 0);
-_defineProperty(Rule, "Severity", {
+Rule.DEFAULT_SELECTOR = void 0;
+Rule.Severity = {
   ERROR: 1,
   WARNING: 2,
   GUIDELINE: 3,
   BULK_WARNING: 4
-});
+};
 Rule.DEFAULT_SELECTOR = Selector.parse("text");
 
 /* eslint-disable no-useless-escape */
@@ -644,7 +734,7 @@ Rule.DEFAULT_SELECTOR = Selector.parse("text");
 // portion which is usually just the hostname, but may also include
 // a username, password or port. We don't strip those things out because
 // we typically want to reject any URL that includes them
-var HOSTNAME = /\/\/([^\/]+)/;
+const HOSTNAME = /\/\/([^\/]+)/;
 
 // Return the hostname of the URL, with any "www." prefix removed.
 // If this is a relative URL with no hostname, return an empty string.
@@ -652,7 +742,7 @@ function getHostname(url) {
   if (!url) {
     return "";
   }
-  var match = url.match(HOSTNAME);
+  const match = url.match(HOSTNAME);
   return match ? match[1] : "";
 }
 
@@ -660,11 +750,14 @@ var AbsoluteUrl = Rule.makeRule({
   name: "absolute-url",
   severity: Rule.Severity.GUIDELINE,
   selector: "link, image",
-  lint: function lint(state, content, nodes, match) {
-    var url = nodes[0].target;
-    var hostname = getHostname(url);
+  lint: function (state, content, nodes, match) {
+    const url = nodes[0].target;
+    const hostname = getHostname(url);
     if (hostname === "khanacademy.org" || hostname.endsWith(".khanacademy.org")) {
-      return "Don't use absolute URLs:\nWhen linking to KA content or images, omit the\nhttps://www.khanacademy.org URL prefix.\nUse a relative URL beginning with / instead.";
+      return `Don't use absolute URLs:
+When linking to KA content or images, omit the
+https://www.khanacademy.org URL prefix.
+Use a relative URL beginning with / instead.`;
     }
   }
 });
@@ -673,14 +766,16 @@ var BlockquotedMath = Rule.makeRule({
   name: "blockquoted-math",
   severity: Rule.Severity.WARNING,
   selector: "blockQuote math, blockQuote blockMath",
-  message: "Blockquoted math:\nmath should not be indented."
+  message: `Blockquoted math:
+math should not be indented.`
 });
 
 var BlockquotedWidget = Rule.makeRule({
   name: "blockquoted-widget",
   severity: Rule.Severity.WARNING,
   selector: "blockQuote widget",
-  message: "Blockquoted widget:\nwidgets should not be indented."
+  message: `Blockquoted widget:
+widgets should not be indented.`
 });
 
 /* eslint-disable no-useless-escape */
@@ -689,26 +784,28 @@ var DoubleSpacingAfterTerminal = Rule.makeRule({
   severity: Rule.Severity.BULK_WARNING,
   selector: "paragraph",
   pattern: /[.!\?] {2}/i,
-  message: "Use a single space after a sentence-ending period, or\nany other kind of terminal punctuation."
+  message: `Use a single space after a sentence-ending period, or
+any other kind of terminal punctuation.`
 });
 
 var ExtraContentSpacing = Rule.makeRule({
   name: "extra-content-spacing",
   selector: "paragraph",
   pattern: /\s+$/,
-  applies: function applies(context) {
+  applies: function (context) {
     return context.contentType === "article";
   },
-  message: "No extra whitespace at the end of content blocks."
+  message: `No extra whitespace at the end of content blocks.`
 });
 
 var HeadingLevel1 = Rule.makeRule({
   name: "heading-level-1",
   severity: Rule.Severity.WARNING,
   selector: "heading",
-  lint: function lint(state, content, nodes, match) {
+  lint: function (state, content, nodes, match) {
     if (nodes[0].level === 1) {
-      return "Don't use level-1 headings:\nBegin headings with two or more # characters.";
+      return `Don't use level-1 headings:
+Begin headings with two or more # characters.`;
     }
   }
 });
@@ -717,14 +814,16 @@ var HeadingLevelSkip = Rule.makeRule({
   name: "heading-level-skip",
   severity: Rule.Severity.WARNING,
   selector: "heading ~ heading",
-  lint: function lint(state, content, nodes, match) {
-    var currentHeading = nodes[1];
-    var previousHeading = nodes[0];
+  lint: function (state, content, nodes, match) {
+    const currentHeading = nodes[1];
+    const previousHeading = nodes[0];
     // A heading can have a level less than, the same as
     // or one more than the previous heading. But going up
     // by 2 or more levels is not right
     if (currentHeading.level > previousHeading.level + 1) {
-      return "Skipped heading level:\nthis heading is level ".concat(currentHeading.level, " but\nthe previous heading was level ").concat(previousHeading.level);
+      return `Skipped heading level:
+this heading is level ${currentHeading.level} but
+the previous heading was level ${previousHeading.level}`;
     }
   }
 });
@@ -735,13 +834,14 @@ var HeadingSentenceCase = Rule.makeRule({
   selector: "heading",
   pattern: /^\W*[a-z]/,
   // first letter is lowercase
-  message: "First letter is lowercase:\nthe first letter of a heading should be capitalized."
+  message: `First letter is lowercase:
+the first letter of a heading should be capitalized.`
 });
 
 // These are 3-letter and longer words that we would not expect to be
 // capitalized even in a title-case heading.  See
 // http://blog.apastyle.org/apastyle/2012/03/title-case-and-sentence-case-capitalization-in-apa-style.html
-var littleWords = {
+const littleWords = {
   and: true,
   nor: true,
   but: true,
@@ -749,7 +849,7 @@ var littleWords = {
   for: true
 };
 function isCapitalized(word) {
-  var c = word[0];
+  const c = word[0];
   return c === c.toUpperCase();
 }
 var HeadingTitleCase = Rule.makeRule({
@@ -758,7 +858,7 @@ var HeadingTitleCase = Rule.makeRule({
   selector: "heading",
   pattern: /[^\s:]\s+[A-Z]+[a-z]/,
   locale: "en",
-  lint: function lint(state, content, nodes, match) {
+  lint: function (state, content, nodes, match) {
     // We want to assert that heading text is in sentence case, not
     // title case. The pattern above requires a capital letter at the
     // start of the heading and allows them after a colon, or in
@@ -783,8 +883,8 @@ var HeadingTitleCase = Rule.makeRule({
     //
     // for APA style rules for title case
 
-    var heading = content.trim();
-    var words = heading.split(/\s+/);
+    const heading = content.trim();
+    let words = heading.split(/\s+/);
 
     // Remove the first word and the little words
     words.shift();
@@ -795,7 +895,9 @@ var HeadingTitleCase = Rule.makeRule({
     // If there are at least 3 remaining words and all
     // are capitalized, then the heading is in title case.
     if (words.length >= 3 && words.every(w => isCapitalized(w))) {
-      return "Title-case heading:\nThis heading appears to be in title-case, but should be sentence-case.\nOnly capitalize the first letter and proper nouns.";
+      return `Title-case heading:
+This heading appears to be in title-case, but should be sentence-case.
+Only capitalize the first letter and proper nouns.`;
     }
   }
 });
@@ -804,13 +906,17 @@ var ImageAltText = Rule.makeRule({
   name: "image-alt-text",
   severity: Rule.Severity.WARNING,
   selector: "image",
-  lint: function lint(state, content, nodes, match) {
-    var image = nodes[0];
+  lint: function (state, content, nodes, match) {
+    const image = nodes[0];
     if (!image.alt || !image.alt.trim()) {
-      return "Images should have alt text:\nfor accessibility, all images should have alt text.\nSpecify alt text inside square brackets after the !.";
+      return `Images should have alt text:
+for accessibility, all images should have alt text.
+Specify alt text inside square brackets after the !.`;
     }
     if (image.alt.length < 8) {
-      return "Images should have alt text:\nfor accessibility, all images should have descriptive alt text.\nThis image's alt text is only ".concat(image.alt.length, " characters long.");
+      return `Images should have alt text:
+for accessibility, all images should have descriptive alt text.
+This image's alt text is only ${image.alt.length} characters long.`;
     }
   }
 });
@@ -819,16 +925,17 @@ var ImageInTable = Rule.makeRule({
   name: "image-in-table",
   severity: Rule.Severity.BULK_WARNING,
   selector: "table image",
-  message: "Image in table:\ndo not put images inside of tables."
+  message: `Image in table:
+do not put images inside of tables.`
 });
 
 var ImageSpacesAroundUrls = Rule.makeRule({
   name: "image-spaces-around-urls",
   severity: Rule.Severity.ERROR,
   selector: "image",
-  lint: function lint(state, content, nodes, match, context) {
-    var image = nodes[0];
-    var url = image.target;
+  lint: function (state, content, nodes, match, context) {
+    const image = nodes[0];
+    const url = image.target;
 
     // The markdown parser strips leading and trailing spaces for us,
     // but they're still a problem for our translation process, so
@@ -837,13 +944,15 @@ var ImageSpacesAroundUrls = Rule.makeRule({
     if (context && context.content) {
       // Find the url in the original content and make sure that the
       // character before is '(' and the character after is ')'
-      var index = context.content.indexOf(url);
+      const index = context.content.indexOf(url);
       if (index === -1) {
         // It is not an error if we didn't find it.
         return;
       }
       if (context.content[index - 1] !== "(" || context.content[index + url.length] !== ")") {
-        return "Whitespace before or after image url:\nFor images, don't include any space or newlines after '(' or before ')'.\nWhitespace in image URLs causes translation difficulties.";
+        return `Whitespace before or after image url:
+For images, don't include any space or newlines after '(' or before ')'.
+Whitespace in image URLs causes translation difficulties.`;
       }
     }
   }
@@ -859,32 +968,37 @@ var ImageWidget = Rule.makeRule({
   name: "image-widget",
   severity: Rule.Severity.WARNING,
   selector: "widget",
-  lint: function lint(state, content, nodes, match, context) {
+  lint: function (state, content, nodes, match, context) {
     // This rule only looks at image widgets
     if (state.currentNode().widgetType !== "image") {
       return;
     }
 
     // If it can't find a definition for the widget it does nothing
-    var widget = context && context.widgets && context.widgets[state.currentNode().id];
+    const widget = context && context.widgets && context.widgets[state.currentNode().id];
     if (!widget) {
       return;
     }
 
     // Make sure there is alt text
-    var alt = widget.options.alt;
+    const alt = widget.options.alt;
     if (!alt) {
-      return "Images should have alt text:\nfor accessibility, all images should have a text description.\nAdd a description in the \"Alt Text\" box of the image widget.";
+      return `Images should have alt text:
+for accessibility, all images should have a text description.
+Add a description in the "Alt Text" box of the image widget.`;
     }
 
     // Make sure the alt text it is not trivial
     if (alt.trim().length < 8) {
-      return "Images should have alt text:\nfor accessibility, all images should have descriptive alt text.\nThis image's alt text is only ".concat(alt.trim().length, " characters long.");
+      return `Images should have alt text:
+for accessibility, all images should have descriptive alt text.
+This image's alt text is only ${alt.trim().length} characters long.`;
     }
 
     // Make sure there is no math in the caption
     if (widget.options.caption && widget.options.caption.match(/[^\\]\$/)) {
-      return "No math in image captions:\nDon't include math expressions in image captions.";
+      return `No math in image captions:
+Don't include math expressions in image captions.`;
     }
   }
 });
@@ -894,7 +1008,8 @@ var LinkClickHere = Rule.makeRule({
   severity: Rule.Severity.WARNING,
   selector: "link",
   pattern: /click here/i,
-  message: "Inappropriate link text:\nDo not use the words \"click here\" in links."
+  message: `Inappropriate link text:
+Do not use the words "click here" in links.`
 });
 
 var LongParagraph = Rule.makeRule({
@@ -902,8 +1017,10 @@ var LongParagraph = Rule.makeRule({
   severity: Rule.Severity.GUIDELINE,
   selector: "paragraph",
   pattern: /^.{501,}/,
-  lint: function lint(state, content, nodes, match) {
-    return "Paragraph too long:\nThis paragraph is ".concat(content.length, " characters long.\nShorten it to 500 characters or fewer.");
+  lint: function (state, content, nodes, match) {
+    return `Paragraph too long:
+This paragraph is ${content.length} characters long.
+Shorten it to 500 characters or fewer.`;
   }
 });
 
@@ -911,7 +1028,8 @@ var MathAdjacent = Rule.makeRule({
   name: "math-adjacent",
   severity: Rule.Severity.WARNING,
   selector: "blockMath+blockMath",
-  message: "Adjacent math blocks:\ncombine the blocks between \\begin{align} and \\end{align}"
+  message: `Adjacent math blocks:
+combine the blocks between \\begin{align} and \\end{align}`
 });
 
 var MathAlignExtraBreak = Rule.makeRule({
@@ -919,7 +1037,8 @@ var MathAlignExtraBreak = Rule.makeRule({
   severity: Rule.Severity.WARNING,
   selector: "blockMath",
   pattern: /(\\{2,})\s*\\end{align}/,
-  message: "Extra space at end of block:\nDon't end an align block with backslashes"
+  message: `Extra space at end of block:
+Don't end an align block with backslashes`
 });
 
 var MathAlignLinebreaks = Rule.makeRule({
@@ -934,10 +1053,10 @@ var MathAlignLinebreaks = Rule.makeRule({
   // Note that this rule can't know where line breaks belong so
   // it can't tell whether backslashes are completely missing. It just
   // enforces that you don't have the wrong number of pairs of backslashes.
-  lint: function lint(state, content, nodes, match) {
-    var text = match[0];
+  lint: function (state, content, nodes, match) {
+    let text = match[0];
     while (text.length) {
-      var index = text.indexOf("\\\\");
+      const index = text.indexOf("\\\\");
       if (index === -1) {
         // No more backslash pairs, so we found no lint
         return null;
@@ -947,7 +1066,7 @@ var MathAlignLinebreaks = Rule.makeRule({
       // Now we expect to find optional spaces, another pair of
       // backslashes, and more optional spaces not followed immediately
       // by another pair of backslashes.
-      var nextpair = text.match(/^\s*\\\\\s*(?!\\\\)/);
+      const nextpair = text.match(/^\s*\\\\\s*(?!\\\\)/);
 
       // If that does not match then we either have too few or too
       // many pairs of backslashes.
@@ -976,7 +1095,8 @@ var MathFontSize = Rule.makeRule({
   severity: Rule.Severity.GUIDELINE,
   selector: "math, blockMath",
   pattern: /\\(tiny|Tiny|small|large|Large|LARGE|huge|Huge|scriptsize|normalsize)\s*{/,
-  message: "Math font size:\nDon't change the default font size with \\Large{} or similar commands"
+  message: `Math font size:
+Don't change the default font size with \\Large{} or similar commands`
 });
 
 var MathFrac = Rule.makeRule({
@@ -992,7 +1112,8 @@ var MathNested = Rule.makeRule({
   severity: Rule.Severity.ERROR,
   selector: "math, blockMath",
   pattern: /\\text{[^$}]*\$[^$}]*\$[^}]*}/,
-  message: "Nested math:\nDon't nest math expressions inside \\text{} blocks"
+  message: `Nested math:
+Don't nest math expressions inside \\text{} blocks`
 });
 
 var MathStartsWithSpace = Rule.makeRule({
@@ -1000,7 +1121,9 @@ var MathStartsWithSpace = Rule.makeRule({
   severity: Rule.Severity.GUIDELINE,
   selector: "math, blockMath",
   pattern: /^\s*(~|\\qquad|\\quad|\\,|\\;|\\:|\\ |\\!|\\enspace|\\phantom)/,
-  message: "Math starts with space:\nmath should not be indented. Do not begin math expressions with\nLaTeX space commands like ~, \\;, \\quad, or \\phantom"
+  message: `Math starts with space:
+math should not be indented. Do not begin math expressions with
+LaTeX space commands like ~, \\;, \\quad, or \\phantom`
 });
 
 var MathTextEmpty = Rule.makeRule({
@@ -1019,14 +1142,17 @@ var MathWithoutDollars = Rule.makeRule({
   name: "math-without-dollars",
   severity: Rule.Severity.GUIDELINE,
   pattern: /\\\w+{[^}]*}|{|}/,
-  message: "This looks like LaTeX:\ndid you mean to put it inside dollar signs?"
+  message: `This looks like LaTeX:
+did you mean to put it inside dollar signs?`
 });
 
 var NestedLists = Rule.makeRule({
   name: "nested-lists",
   severity: Rule.Severity.WARNING,
   selector: "list list",
-  message: "Nested lists:\nnested lists are hard to read on mobile devices;\ndo not use additional indentation."
+  message: `Nested lists:
+nested lists are hard to read on mobile devices;
+do not use additional indentation.`
 });
 
 var Profanity = Rule.makeRule({
@@ -1041,13 +1167,15 @@ var TableMissingCells = Rule.makeRule({
   name: "table-missing-cells",
   severity: Rule.Severity.WARNING,
   selector: "table",
-  lint: function lint(state, content, nodes, match) {
-    var table = nodes[0];
-    var headerLength = table.header.length;
-    var rowLengths = table.cells.map(r => r.length);
-    for (var r = 0; r < rowLengths.length; r++) {
+  lint: function (state, content, nodes, match) {
+    const table = nodes[0];
+    const headerLength = table.header.length;
+    const rowLengths = table.cells.map(r => r.length);
+    for (let r = 0; r < rowLengths.length; r++) {
       if (rowLengths[r] !== headerLength) {
-        return "Table rows don't match header:\nThe table header has ".concat(headerLength, " cells, but\nRow ").concat(r + 1, " has ").concat(rowLengths[r], " cells.");
+        return `Table rows don't match header:
+The table header has ${headerLength} cells, but
+Row ${r + 1} has ${rowLengths[r]} cells.`;
       }
     }
   }
@@ -1061,26 +1189,87 @@ var UnbalancedCodeDelimiters = Rule.makeRule({
   name: "unbalanced-code-delimiters",
   severity: Rule.Severity.ERROR,
   pattern: /[`~]+/,
-  message: "Unbalanced code delimiters:\ncode blocks should begin and end with the same type and number of delimiters"
+  message: `Unbalanced code delimiters:
+code blocks should begin and end with the same type and number of delimiters`
 });
 
 var UnescapedDollar = Rule.makeRule({
   name: "unescaped-dollar",
   severity: Rule.Severity.ERROR,
   selector: "unescapedDollar",
-  message: "Unescaped dollar sign:\nDollar signs must appear in pairs or be escaped as \\$"
+  message: `Unescaped dollar sign:
+Dollar signs must appear in pairs or be escaped as \\$`
 });
 
 var WidgetInTable = Rule.makeRule({
   name: "widget-in-table",
   severity: Rule.Severity.BULK_WARNING,
   selector: "table widget",
-  message: "Widget in table:\ndo not put widgets inside of tables."
+  message: `Widget in table:
+do not put widgets inside of tables.`
 });
 
 // TODO(davidflanagan):
 var AllRules = [AbsoluteUrl, BlockquotedMath, BlockquotedWidget, DoubleSpacingAfterTerminal, ExtraContentSpacing, HeadingLevel1, HeadingLevelSkip, HeadingSentenceCase, HeadingTitleCase, ImageAltText, ImageInTable, LinkClickHere, LongParagraph, MathAdjacent, MathAlignExtraBreak, MathAlignLinebreaks, MathEmpty, MathFontSize, MathFrac, MathNested, MathStartsWithSpace, MathTextEmpty, NestedLists, TableMissingCells, UnescapedDollar, WidgetInTable, Profanity, MathWithoutDollars, UnbalancedCodeDelimiters, ImageSpacesAroundUrls, ImageWidget];
 
+/**
+ * TreeTransformer is a class for traversing and transforming trees.  Create a
+ * TreeTransformer by passing the root node of the tree to the
+ * constructor. Then traverse that tree by calling the traverse() method. The
+ * argument to traverse() is a callback function that will be called once for
+ * each node in the tree. This is a post-order depth-first traversal: the
+ * callback is not called on the a way down, but on the way back up. That is,
+ * the children of a node are traversed before the node itself is.
+ *
+ * The traversal callback function is passed three arguments, the node being
+ * traversed, a TraversalState object, and the concatentated text content of
+ * the node and all of its descendants. The TraversalState object is the most
+ * most interesting argument: it has methods for querying the ancestors and
+ * siblings of the node, and for deleting or replacing the node. These
+ * transformation methods are why this class is a tree transformer and not
+ * just a tree traverser.
+ *
+ * A typical tree traversal looks like this:
+ *
+ *   new TreeTransformer(root).traverse((node, state, content) => {
+ *       let parent = state.parent();
+ *       let previous = state.previousSibling();
+ *       // etc.
+ *   });
+ *
+ * The traverse() method descends through nodes and arrays of nodes and calls
+ * the traverse callback on each node on the way back up to the root of the
+ * tree. (Note that it only calls the callback on the nodes themselves, not
+ * any arrays that contain nodes.) A node is loosely defined as any object
+ * with a string-valued `type` property. Objects that do not have a type
+ * property are assumed to not be part of the tree and are not traversed. When
+ * traversing an array, all elements of the array are examined, and any that
+ * are nodes or arrays are recursively traversed. When traversing a node, all
+ * properties of the object are examined and any node or array values are
+ * recursively traversed.  In typical parse trees, the children of a node are
+ * in a `children` or `content` array, but this class is designed to handle
+ * more general trees.  The Perseus markdown parser, for example, produces
+ * nodes of type "table" that have children in the `header` and `cells`
+ * properties.
+ *
+ * CAUTION: the traverse() method does not make any attempt to detect
+ * cycles. If you call it on a cyclic graph instead of a tree, it will cause
+ * infinite recursion (or, more likely, a stack overflow).
+ *
+ * TODO(davidflanagan): it probably wouldn't be hard to detect cycles: when
+ * pushing a new node onto the containers stack we could just check that it
+ * isn't already there.
+ *
+ * If a node has a text-valued `content` property, it is taken to be the
+ * plain-text content of the node. The traverse() method concatenates these
+ * content strings and passes them to the traversal callback for each
+ * node. This means that the callback has access the full text content of its
+ * node and all of the nodes descendants.
+ *
+ * See the TraversalState class for more information on what information and
+ * methods are available to the traversal callback.
+ **/
+
 // TreeNode is the type of a node in a parse tree. The only real requirement is
 // that every node has a string-valued `type` property
 
@@ -1089,7 +1278,7 @@ var AllRules = [AbsoluteUrl, BlockquotedMath, BlockquotedWidget, DoubleSpacingAf
 class TreeTransformer {
   // To create a tree transformer, just pass the root node of the tree
   constructor(root) {
-    _defineProperty(this, "root", void 0);
+    this.root = void 0;
     this.root = root;
   }
 
@@ -1124,25 +1313,23 @@ class TreeTransformer {
   // details. Note that this method uses the TraversalState object to store
   // information about the structure of the tree.
   _traverse(n, state, f) {
-    var content = "";
+    let content = "";
     if (TreeTransformer.isNode(n)) {
       // If we were called on a node object, then we handle it
       // this way.
-      var _node = n; // safe cast; we just tested
+      const node = n; // safe cast; we just tested
 
       // Put the node on the stack before recursing on its children
-      state._containers.push(_node);
-      state._ancestors.push(_node);
+      state._containers.push(node);
+      state._ancestors.push(node);
 
       // Record the node's text content if it has any.
       // Usually this is for nodes with a type property of "text",
       // but other nodes types like "math" may also have content.
-      // TODO(mdr): We found a new Flow error when upgrading:
-      //     "node.content (property `content` is missing in `TreeNode` [1].)"
-      // @ts-expect-error [FEI-5003] - TS2339 - Property 'content' does not exist on type 'TreeNode'.
-      if (typeof _node.content === "string") {
-        // @ts-expect-error [FEI-5003] - TS2339 - Property 'content' does not exist on type 'TreeNode'.
-        content = _node.content;
+      // @ts-expect-error - TS2339 - Property 'content' does not exist on type 'TreeNode'.
+      if (typeof node.content === "string") {
+        // @ts-expect-error - TS2339 - Property 'content' does not exist on type 'TreeNode'.
+        content = node.content;
       }
 
       // Recurse on the node. If there was content above, then there
@@ -1154,7 +1341,7 @@ class TreeTransformer {
       // put a switch statement here to dispatch on the node type
       // property with specific recursion steps for each known type of
       // node.
-      var keys = Object.keys(_node);
+      const keys = Object.keys(node);
       keys.forEach(key => {
         // Never recurse on the type property
         if (key === "type") {
@@ -1168,7 +1355,7 @@ class TreeTransformer {
         // content to the content for this node. Also note that we
         // push the name of the property we're recursing over onto a
         // TraversalState stack.
-        var value = _node[key];
+        const value = node[key];
         if (value && typeof value === "object") {
           state._indexes.push(key);
           content += this._traverse(value, state, f);
@@ -1184,11 +1371,11 @@ class TreeTransformer {
       // that this is post-order traversal. We call the callback on the
       // way back up the tree, not on the way down.  That way we already
       // know all the content contained within the node.
-      f(_node, state, content);
+      f(node, state, content);
     } else if (Array.isArray(n)) {
       // If we were called on an array instead of a node, then
       // this is the code we use to recurse.
-      var nodes = n;
+      const nodes = n;
 
       // Push the array onto the stack. This will allow the
       // TraversalState object to locate siblings of this node.
@@ -1202,11 +1389,11 @@ class TreeTransformer {
       // are careful here to test the array length on each iteration and
       // to reset the index when we pop the stack. Also note that we
       // concatentate the text content of the children.
-      var index = 0;
+      let index = 0;
       while (index < nodes.length) {
         state._indexes.push(index);
         content += this._traverse(nodes[index], state, f);
-        // Casting to convince Flow that this is a number
+        // Casting to convince TypeScript that this is a number
         index = state._indexes.pop() + 1;
       }
 
@@ -1233,7 +1420,7 @@ class TreeTransformer {
  * for that traversal, and the instance is passed to the traversal callback
  * function for each node that is traversed. This class is not intended to be
  * instantiated directly, but is exported so that its type can be used for
- * Flow annotaions.
+ * type annotaions.
  **/
 class TraversalState {
   // The root node of the tree being traversed
@@ -1242,16 +1429,16 @@ class TraversalState {
   // below instead of using these properties directly. Note that the
   // _containers and _indexes stacks can have two different types of
   // elements, depending on whether we just recursed on an array or on a
-  // node. This is hard for Flow to deal with, so you'll see a number of
-  // Flow casts through the any type when working with these two properties.
+  // node. This is hard for TypeScript to deal with, so you'll see a number of
+  // type casts through the any type when working with these two properties.
 
   // The constructor just stores the root node and creates empty stacks.
   constructor(root) {
-    _defineProperty(this, "root", void 0);
-    _defineProperty(this, "_currentNode", void 0);
-    _defineProperty(this, "_containers", void 0);
-    _defineProperty(this, "_indexes", void 0);
-    _defineProperty(this, "_ancestors", void 0);
+    this.root = void 0;
+    this._currentNode = void 0;
+    this._containers = void 0;
+    this._indexes = void 0;
+    this._ancestors = void 0;
     this.root = root;
 
     // When the callback is called, this property will hold the
@@ -1309,7 +1496,7 @@ class TraversalState {
    * Return the next sibling of this node, if it has one, or null otherwise.
    */
   nextSibling() {
-    var siblings = this._containers.top();
+    const siblings = this._containers.top();
 
     // If we're at the root of the tree or if the parent is an
     // object instead of an array, then there are no siblings.
@@ -1318,7 +1505,7 @@ class TraversalState {
     }
 
     // The top index is a number because the top container is an array
-    var index = this._indexes.top();
+    const index = this._indexes.top();
     if (siblings.length > index + 1) {
       return siblings[index + 1];
     }
@@ -1330,7 +1517,7 @@ class TraversalState {
    * otherwise.
    */
   previousSibling() {
-    var siblings = this._containers.top();
+    const siblings = this._containers.top();
 
     // If we're at the root of the tree or if the parent is an
     // object instead of an array, then there are no siblings.
@@ -1339,7 +1526,7 @@ class TraversalState {
     }
 
     // The top index is a number because the top container is an array
-    var index = this._indexes.top();
+    const index = this._indexes.top();
     if (index > 0) {
       return siblings[index - 1];
     }
@@ -1352,10 +1539,10 @@ class TraversalState {
    * tree and concatenate adjacent text nodes into a single node.
    */
   removeNextSibling() {
-    var siblings = this._containers.top();
+    const siblings = this._containers.top();
     if (siblings && Array.isArray(siblings)) {
       // top index is a number because top container is an array
-      var index = this._indexes.top();
+      const index = this._indexes.top();
       if (siblings.length > index + 1) {
         return siblings.splice(index + 1, 1)[0];
       }
@@ -1374,21 +1561,18 @@ class TraversalState {
    * This method throws an error if you attempt to replace the root node of
    * the tree.
    */
-  replace() {
-    var parent = this._containers.top();
+  replace(...replacements) {
+    const parent = this._containers.top();
     if (!parent) {
       throw new PerseusError("Can't replace the root of the tree", Errors.Internal);
     }
 
     // The top of the container stack is either an array or an object
     // and the top of the indexes stack is a corresponding array index
-    // or object property. This is hard for Flow, so we have to do some
+    // or object property. This is hard for TypeScript, so we have to do some
     // unsafe casting and be careful when we use which cast version
-    for (var _len = arguments.length, replacements = new Array(_len), _key = 0; _key < _len; _key++) {
-      replacements[_key] = arguments[_key];
-    }
     if (Array.isArray(parent)) {
-      var index = this._indexes.top();
+      const index = this._indexes.top();
       // For an array parent we just splice the new nodes in
       parent.splice(index, 1, ...replacements);
       // Adjust the index to account for the changed array length.
@@ -1396,7 +1580,7 @@ class TraversalState {
       this._indexes.pop();
       this._indexes.push(index + replacements.length - 1);
     } else {
-      var property = this._indexes.top();
+      const property = this._indexes.top();
       // For an object parent we care how many new nodes there are
       if (replacements.length === 0) {
         // Deletion
@@ -1435,8 +1619,8 @@ class TraversalState {
     this._currentNode = this.previousSibling();
     // Since we know that we have a previous sibling, we know that
     // the value on top of the stack is a number, but we have to do
-    // this unsafe cast because Flow doesn't know that.
-    var index = this._indexes.pop();
+    // this unsafe cast because TypeScript doesn't know that.
+    const index = this._indexes.pop();
     this._indexes.push(index - 1);
   }
 
@@ -1468,10 +1652,7 @@ class TraversalState {
     // and more as needed until we restore the invariant that
     // this._containers.top()[this.indexes.top()] === this._currentNode
     //
-    while (this._containers.size() &&
-    // This is safe, but easier to just disable flow than do casts
-    // $FlowFixMe[incompatible-use]
-    this._containers.top()[this._indexes.top()] !== this._currentNode) {
+    while (this._containers.size() && this._containers.top()[this._indexes.top()] !== this._currentNode) {
       this._containers.pop();
       this._indexes.pop();
     }
@@ -1483,7 +1664,7 @@ class TraversalState {
    * goToParent() and goToPreviousSibling().
    */
   clone() {
-    var clone = new TraversalState(this.root);
+    const clone = new TraversalState(this.root);
     clone._currentNode = this._currentNode;
     clone._containers = this._containers.clone();
     clone._indexes = this._indexes.clone();
@@ -1511,7 +1692,7 @@ class TraversalState {
  */
 class Stack {
   constructor(array) {
-    _defineProperty(this, "stack", void 0);
+    this.stack = void 0;
     this.stack = array ? array.slice(0) : [];
   }
 
@@ -1522,7 +1703,7 @@ class Stack {
 
   /** Pop a value off of the stack. */
   pop() {
-    // @ts-expect-error [FEI-5003] - TS2322 - Type 'T | undefined' is not assignable to type 'T'.
+    // @ts-expect-error - TS2322 - Type 'T | undefined' is not assignable to type 'T'.
     return this.stack.pop();
   }
 
@@ -1559,7 +1740,7 @@ class Stack {
     if (!that || !that.stack || that.stack.length !== this.stack.length) {
       return false;
     }
-    for (var i = 0; i < this.stack.length; i++) {
+    for (let i = 0; i < this.stack.length; i++) {
       if (this.stack[i] !== that.stack[i]) {
         return false;
       }
@@ -1569,20 +1750,20 @@ class Stack {
 }
 
 // Define the shape of the linter context object that is passed through the
-var linterContextProps = PropTypes.shape({
+const linterContextProps = PropTypes.shape({
   contentType: PropTypes.string,
   highlightLint: PropTypes.bool,
   paths: PropTypes.arrayOf(PropTypes.string),
   stack: PropTypes.arrayOf(PropTypes.string)
 });
-var linterContextDefault = {
+const linterContextDefault = {
   contentType: "",
   highlightLint: false,
   paths: [],
   stack: []
 };
 
-var allLintRules = AllRules.filter(r => r.severity < Rule.Severity.BULK_WARNING);
+const allLintRules = AllRules.filter(r => r.severity < Rule.Severity.BULK_WARNING);
 
 //
 // Run the Perseus linter over the specified markdown parse tree,
@@ -1608,18 +1789,17 @@ var allLintRules = AllRules.filter(r => r.severity < Rule.Severity.BULK_WARNING)
 // in that case). This would allow the one function to be used for both
 // online linting and batch linting.
 //
-function runLinter(tree, context, highlight) {
-  var rules = arguments.length > 3 && arguments[3] !== undefined ? arguments[3] : allLintRules;
-  var warnings = [];
-  var tt = new TreeTransformer(tree);
+function runLinter(tree, context, highlight, rules = allLintRules) {
+  const warnings = [];
+  const tt = new TreeTransformer(tree);
 
   // The markdown parser often outputs adjacent text nodes. We
   // coalesce them before linting for efficiency and accuracy.
   tt.traverse((node, state, content) => {
     if (TreeTransformer.isTextNode(node)) {
-      var next = state.nextSibling();
+      let next = state.nextSibling();
       while (TreeTransformer.isTextNode(next)) {
-        // @ts-expect-error [FEI-5003] - TS2339 - Property 'content' does not exist on type 'TreeNode'. | TS2533 - Object is possibly 'null' or 'undefined'. | TS2339 - Property 'content' does not exist on type 'TreeNode'.
+        // @ts-expect-error - TS2339 - Property 'content' does not exist on type 'TreeNode'. | TS2533 - Object is possibly 'null' or 'undefined'. | TS2339 - Property 'content' does not exist on type 'TreeNode'.
         node.content += next.content;
         state.removeNextSibling();
         next = state.nextSibling();
@@ -1644,29 +1824,29 @@ function runLinter(tree, context, highlight) {
   // issue too. But using JavaScript has its own downsides: there is
   // risk that the linter JavaScript would interfere with
   // widget-related Javascript.
-  var tableWarnings = [];
-  var insideTable = false;
+  let tableWarnings = [];
+  let insideTable = false;
 
   // Traverse through the nodes of the parse tree. At each node, loop
   // through the array of lint rules and check whether there is a
   // lint violation at that node.
   tt.traverse((node, state, content) => {
-    var nodeWarnings = [];
+    const nodeWarnings = [];
 
     // If our rule is only designed to be tested against a particular
     // content type and we're not in that content type, we don't need to
     // consider that rule.
-    var applicableRules = rules.filter(r => r.applies(context));
+    const applicableRules = rules.filter(r => r.applies(context));
 
     // Generate a stack so we can identify our position in the tree in
     // lint rules
-    var stack = [...context.stack];
+    const stack = [...context.stack];
     stack.push(node.type);
-    var nodeContext = _objectSpread2(_objectSpread2({}, context), {}, {
+    const nodeContext = _extends({}, context, {
       stack: stack.join(".")
     });
     applicableRules.forEach(rule => {
-      var warning = rule.check(node, state, content, nodeContext);
+      const warning = rule.check(node, state, content, nodeContext);
       if (warning) {
         // The start and end locations are relative to this
         // particular node, and so are not generally very useful.
@@ -1720,7 +1900,7 @@ function runLinter(tree, context, highlight) {
     // this node, then we need to save the warnings for display
     // on the table itself
     if (insideTable && nodeWarnings.length) {
-      // @ts-expect-error [FEI-5003] - TS2345 - Argument of type 'any' is not assignable to parameter of type 'never'.
+      // @ts-expect-error - TS2345 - Argument of type 'any' is not assignable to parameter of type 'never'.
       tableWarnings.push(...nodeWarnings);
     }
 
@@ -1747,7 +1927,7 @@ function runLinter(tree, context, highlight) {
         // node under a new lint node and put the warnings there.
         state.replace({
           type: "lint",
-          // @ts-expect-error [FEI-5003] - TS2345 - Argument of type '{ type: string; content: TreeNode; message: string; ruleName: any; blockHighlight: any; insideTable: boolean; severity: any; }' is not assignable to parameter of type 'TreeNode'.
+          // @ts-expect-error - TS2345 - Argument of type '{ type: string; content: TreeNode; message: string; ruleName: any; blockHighlight: any; insideTable: boolean; severity: any; }' is not assignable to parameter of type 'TreeNode'.
           content: node,
           message: nodeWarnings.map(w => w.message).join("\n\n"),
           ruleName: nodeWarnings[0].rule,
@@ -1781,17 +1961,17 @@ function runLinter(tree, context, highlight) {
         // single line, so keeping them combined in that case might
         // be the best thing, anyway.
         //
-        // @ts-expect-error [FEI-5003] - TS2339 - Property 'content' does not exist on type 'TreeNode'.
-        var _content = node.content; // Text nodes have content
-        var warning = nodeWarnings[0]; // There is only one warning.
+        // @ts-expect-error - TS2339 - Property 'content' does not exist on type 'TreeNode'.
+        const _content = node.content; // Text nodes have content
+        const warning = nodeWarnings[0]; // There is only one warning.
         // These are the lint boundaries within the content
-        var start = warning.start || 0;
-        var end = warning.end || _content.length;
-        var prefix = _content.substring(0, start);
-        var lint = _content.substring(start, end);
-        var suffix = _content.substring(end);
+        const start = warning.start || 0;
+        const end = warning.end || _content.length;
+        const prefix = _content.substring(0, start);
+        const lint = _content.substring(start, end);
+        const suffix = _content.substring(end);
         // TODO(FEI-5003): Give this a real type.
-        var replacements = []; // What we'll replace the node with
+        const replacements = []; // What we'll replace the node with
 
         // The prefix text node, if there is one
         if (prefix) {
@@ -1831,8 +2011,8 @@ function runLinter(tree, context, highlight) {
   return warnings;
 }
 function pushContextStack(context, name) {
-  var stack = context.stack || [];
-  return _objectSpread2(_objectSpread2({}, context), {}, {
+  const stack = context.stack || [];
+  return _extends({}, context, {
     stack: stack.concat(name)
   });
 }