Method pushFollow

www/js/_hyperscript.js:149–151

(str)

    }
    // ----- Follow set management -----
    pushFollow(str) {
      this.#follows.push(str);
    }
    popFollow() {
      this.#follows.pop();
    }