diff --git a/yaragg-lib/yaragg/codegen/expander.rkt b/yaragg-lib/yaragg/codegen/expander.rkt
index d8dc64c..6eb156d 100755
--- a/yaragg-lib/yaragg/codegen/expander.rkt
+++ b/yaragg-lib/yaragg/codegen/expander.rkt
@@ -48,7 +48,7 @@
                      [TOKEN (datum->syntax rules-stx 'token)] ; for repl
                      [RULE-IDS (map syntax-e rule-ids)]
                      [RULES-STX rules-stx])
-         ;; this stx object represents the top level of a #lang brag module.
+         ;; this stx object represents the top level of a #lang yaragg module.
          ;; so any `define`s are automatically available at the repl.
          ;; and only identifiers explicitly `provide`d are visible on import.
          #'(#%module-begin             
diff --git a/yaragg-lib/yaragg/examples/01-equal.rkt b/yaragg-lib/yaragg/examples/01-equal.rkt
index c53bd18..ceac5dd 100755
--- a/yaragg-lib/yaragg/examples/01-equal.rkt
+++ b/yaragg-lib/yaragg/examples/01-equal.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ## Equal numbers of 0 and 1s in a string.
 ##
diff --git a/yaragg-lib/yaragg/examples/0n1.rkt b/yaragg-lib/yaragg/examples/0n1.rkt
index 53beae0..b8afe4d 100755
--- a/yaragg-lib/yaragg/examples/0n1.rkt
+++ b/yaragg-lib/yaragg/examples/0n1.rkt
@@ -1,3 +1,3 @@
-#lang brag
+#lang yaragg
 
 rule: "0"* "1"
diff --git a/yaragg-lib/yaragg/examples/0n1n.rkt b/yaragg-lib/yaragg/examples/0n1n.rkt
index 25b0ea5..d6a6511 100755
--- a/yaragg-lib/yaragg/examples/0n1n.rkt
+++ b/yaragg-lib/yaragg/examples/0n1n.rkt
@@ -1,3 +1,3 @@
-#lang brag
+#lang yaragg
 
 rule-0n1n: ["0" rule-0n1n "1"]
diff --git a/yaragg-lib/yaragg/examples/add-mult.rkt b/yaragg-lib/yaragg/examples/add-mult.rkt
index bde2ac5..2a5688c 100755
--- a/yaragg-lib/yaragg/examples/add-mult.rkt
+++ b/yaragg-lib/yaragg/examples/add-mult.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 expr : term (/'+' term)*
 @term : factor (/'*' @factor)*
diff --git a/yaragg-lib/yaragg/examples/baby-json-alt.rkt b/yaragg-lib/yaragg/examples/baby-json-alt.rkt
index c454397..56b1100 100755
--- a/yaragg-lib/yaragg/examples/baby-json-alt.rkt
+++ b/yaragg-lib/yaragg/examples/baby-json-alt.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ;; Simple baby example of JSON structure
 json ::= number | string
diff --git a/yaragg-lib/yaragg/examples/baby-json-alt2.rkt b/yaragg-lib/yaragg/examples/baby-json-alt2.rkt
index 15d75b2..40064da 100755
--- a/yaragg-lib/yaragg/examples/baby-json-alt2.rkt
+++ b/yaragg-lib/yaragg/examples/baby-json-alt2.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ;; Simple baby example of JSON structure
 json: number
diff --git a/yaragg-lib/yaragg/examples/baby-json-hider.rkt b/yaragg-lib/yaragg/examples/baby-json-hider.rkt
index 769ecfd..89648ba 100755
--- a/yaragg-lib/yaragg/examples/baby-json-hider.rkt
+++ b/yaragg-lib/yaragg/examples/baby-json-hider.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 #:prefix-out my:
 
 ;; Simple baby example of JSON structure
diff --git a/yaragg-lib/yaragg/examples/baby-json.rkt b/yaragg-lib/yaragg/examples/baby-json.rkt
index 491dfc8..ded2698 100755
--- a/yaragg-lib/yaragg/examples/baby-json.rkt
+++ b/yaragg-lib/yaragg/examples/baby-json.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ;; Simple baby example of JSON structure
 json: number | string
diff --git a/yaragg-lib/yaragg/examples/bnf.rkt b/yaragg-lib/yaragg/examples/bnf.rkt
index 2349038..2a73d71 100755
--- a/yaragg-lib/yaragg/examples/bnf.rkt
+++ b/yaragg-lib/yaragg/examples/bnf.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ## The following comes from: http://en.wikipedia.org/wiki/Backus%E2%80%93Naur_Form
 
diff --git a/yaragg-lib/yaragg/examples/codepoints.rkt b/yaragg-lib/yaragg/examples/codepoints.rkt
index 1196aef..8074f17 100644
--- a/yaragg-lib/yaragg/examples/codepoints.rkt
+++ b/yaragg-lib/yaragg/examples/codepoints.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 start: A c def hello-world
 A : "\"\101\\" ; A
 c : '\'\U0063\\' ; c
diff --git a/yaragg-lib/yaragg/examples/curly-quantifier.rkt b/yaragg-lib/yaragg/examples/curly-quantifier.rkt
index a2de3ac..db28053 100644
--- a/yaragg-lib/yaragg/examples/curly-quantifier.rkt
+++ b/yaragg-lib/yaragg/examples/curly-quantifier.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 ;; test the curly quantifier
 start : a-rule | b-rule | c-rule | d-rule | e-rule
 a-rule : "a"{2} ; exactly 2
diff --git a/yaragg-lib/yaragg/examples/cutter-another.rkt b/yaragg-lib/yaragg/examples/cutter-another.rkt
index 3e21b1c..07ce0a9 100755
--- a/yaragg-lib/yaragg/examples/cutter-another.rkt
+++ b/yaragg-lib/yaragg/examples/cutter-another.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 top : w | x | y | z | a | b | c
 w : /"w" ; atom
  x : /("x") ; seq
diff --git a/yaragg-lib/yaragg/examples/cutter.rkt b/yaragg-lib/yaragg/examples/cutter.rkt
index 7cd7023..a9ecf61 100755
--- a/yaragg-lib/yaragg/examples/cutter.rkt
+++ b/yaragg-lib/yaragg/examples/cutter.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 top : expr (/"," expr)*
 expr : "x" | list
 list : "(" expr ("," expr)* ")"
\ No newline at end of file
diff --git a/yaragg-lib/yaragg/examples/empty-symbol.rkt b/yaragg-lib/yaragg/examples/empty-symbol.rkt
index 35a45c8..995bc14 100755
--- a/yaragg-lib/yaragg/examples/empty-symbol.rkt
+++ b/yaragg-lib/yaragg/examples/empty-symbol.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 top : xs | ys | zs
 xs : () | "x" xs
diff --git a/yaragg-lib/yaragg/examples/hide-and-splice.rkt b/yaragg-lib/yaragg/examples/hide-and-splice.rkt
index e1e422d..84aa7d5 100644
--- a/yaragg-lib/yaragg/examples/hide-and-splice.rkt
+++ b/yaragg-lib/yaragg/examples/hide-and-splice.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 top : x | y
 /x : Ø | "x" @x
 @y : Ø | "y" y
\ No newline at end of file
diff --git a/yaragg-lib/yaragg/examples/lua-parser.rkt b/yaragg-lib/yaragg/examples/lua-parser.rkt
index 75781e9..d1312ed 100755
--- a/yaragg-lib/yaragg/examples/lua-parser.rkt
+++ b/yaragg-lib/yaragg/examples/lua-parser.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ;; Lua parser, adapted from:
 ;; http://www.lua.org/manual/5.1/manual.html#8
diff --git a/yaragg-lib/yaragg/examples/nested-repeats.rkt b/yaragg-lib/yaragg/examples/nested-repeats.rkt
index 17eaa5e..9f69576 100644
--- a/yaragg-lib/yaragg/examples/nested-repeats.rkt
+++ b/yaragg-lib/yaragg/examples/nested-repeats.rkt
@@ -1,3 +1,3 @@
-#lang brag
+#lang yaragg
 
 start : ( (X | X Y) A* )*
diff --git a/yaragg-lib/yaragg/examples/nested-word-list.rkt b/yaragg-lib/yaragg/examples/nested-word-list.rkt
index b7489c4..b7386d4 100755
--- a/yaragg-lib/yaragg/examples/nested-word-list.rkt
+++ b/yaragg-lib/yaragg/examples/nested-word-list.rkt
@@ -1,3 +1,3 @@
-#lang brag
+#lang yaragg
 nested-word-list: WORD
                 | LEFT-PAREN nested-word-list* RIGHT-PAREN
diff --git a/yaragg-lib/yaragg/examples/quotation-marks-and-backslashes.rkt b/yaragg-lib/yaragg/examples/quotation-marks-and-backslashes.rkt
index 18bc00f..2fc3307 100644
--- a/yaragg-lib/yaragg/examples/quotation-marks-and-backslashes.rkt
+++ b/yaragg-lib/yaragg/examples/quotation-marks-and-backslashes.rkt
@@ -1,2 +1,2 @@
-#lang brag
+#lang yaragg
 start: "a" "\"" "'" "\\" 'a' '"' '\'' '\\'
\ No newline at end of file
diff --git a/yaragg-lib/yaragg/examples/simple-arithmetic-grammar.rkt b/yaragg-lib/yaragg/examples/simple-arithmetic-grammar.rkt
index 69a5f2c..d06d80b 100755
--- a/yaragg-lib/yaragg/examples/simple-arithmetic-grammar.rkt
+++ b/yaragg-lib/yaragg/examples/simple-arithmetic-grammar.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 expr : term ('+' term)*
 term : factor ('*' factor)*
diff --git a/yaragg-lib/yaragg/examples/simple-line-drawing.rkt b/yaragg-lib/yaragg/examples/simple-line-drawing.rkt
index b97bdf5..7b6e775 100755
--- a/yaragg-lib/yaragg/examples/simple-line-drawing.rkt
+++ b/yaragg-lib/yaragg/examples/simple-line-drawing.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ;;
 ;; See: http://stackoverflow.com/questions/12345647/rewrite-this-script-by-designing-an-interpreter-in-racket
diff --git a/yaragg-lib/yaragg/examples/simple-line-drawing/grammar.rkt b/yaragg-lib/yaragg/examples/simple-line-drawing/grammar.rkt
index b97bdf5..7b6e775 100755
--- a/yaragg-lib/yaragg/examples/simple-line-drawing/grammar.rkt
+++ b/yaragg-lib/yaragg/examples/simple-line-drawing/grammar.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ;;
 ;; See: http://stackoverflow.com/questions/12345647/rewrite-this-script-by-designing-an-interpreter-in-racket
diff --git a/yaragg-lib/yaragg/examples/start-and-atok.rkt b/yaragg-lib/yaragg/examples/start-and-atok.rkt
index 4abf557..5504155 100755
--- a/yaragg-lib/yaragg/examples/start-and-atok.rkt
+++ b/yaragg-lib/yaragg/examples/start-and-atok.rkt
@@ -1,3 +1,3 @@
-#lang brag
+#lang yaragg
 
 top : ("start" | "atok")+
\ No newline at end of file
diff --git a/yaragg-lib/yaragg/examples/statlist-grammar.rkt b/yaragg-lib/yaragg/examples/statlist-grammar.rkt
index 18b2561..ec9a049 100755
--- a/yaragg-lib/yaragg/examples/statlist-grammar.rkt
+++ b/yaragg-lib/yaragg/examples/statlist-grammar.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ## Statlist grammar
 
diff --git a/yaragg-lib/yaragg/examples/subrule.rkt b/yaragg-lib/yaragg/examples/subrule.rkt
index 7183bfc..0c2a6d3 100644
--- a/yaragg-lib/yaragg/examples/subrule.rkt
+++ b/yaragg-lib/yaragg/examples/subrule.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 start: next
 next: "0"
diff --git a/yaragg-lib/yaragg/examples/top-level-cut-1.rkt b/yaragg-lib/yaragg/examples/top-level-cut-1.rkt
index f91a6ca..c1ac256 100644
--- a/yaragg-lib/yaragg/examples/top-level-cut-1.rkt
+++ b/yaragg-lib/yaragg/examples/top-level-cut-1.rkt
@@ -1,3 +1,3 @@
-#lang brag
+#lang yaragg
 /top : sub
 sub : "x"
\ No newline at end of file
diff --git a/yaragg-lib/yaragg/examples/top-level-cut-2.rkt b/yaragg-lib/yaragg/examples/top-level-cut-2.rkt
index d2b46e7..e7287af 100644
--- a/yaragg-lib/yaragg/examples/top-level-cut-2.rkt
+++ b/yaragg-lib/yaragg/examples/top-level-cut-2.rkt
@@ -1,3 +1,3 @@
-#lang brag
+#lang yaragg
 /top : sub
 /sub : "x"
\ No newline at end of file
diff --git a/yaragg-lib/yaragg/examples/top-level-cut-3.rkt b/yaragg-lib/yaragg/examples/top-level-cut-3.rkt
index e3a793c..165a62a 100644
--- a/yaragg-lib/yaragg/examples/top-level-cut-3.rkt
+++ b/yaragg-lib/yaragg/examples/top-level-cut-3.rkt
@@ -1,3 +1,3 @@
-#lang brag
+#lang yaragg
 /top : sub
 @sub : "x"
\ No newline at end of file
diff --git a/yaragg-lib/yaragg/examples/whitespace.rkt b/yaragg-lib/yaragg/examples/whitespace.rkt
index 9b2101a..fb3afa0 100644
--- a/yaragg-lib/yaragg/examples/whitespace.rkt
+++ b/yaragg-lib/yaragg/examples/whitespace.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 start: (tab | space | newline | letter | return | all)*
 tab: '\t'
 space: " "
diff --git a/yaragg-lib/yaragg/examples/wordy.rkt b/yaragg-lib/yaragg/examples/wordy.rkt
index 66c9042..3cab259 100755
--- a/yaragg-lib/yaragg/examples/wordy.rkt
+++ b/yaragg-lib/yaragg/examples/wordy.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 ;; A parser for a silly language
 sentence: verb optional-adjective object
 verb: greeting
diff --git a/yaragg-lib/yaragg/test/test-errors.rkt b/yaragg-lib/yaragg/test/test-errors.rkt
index 54417c7..3967172 100755
--- a/yaragg-lib/yaragg/test/test-errors.rkt
+++ b/yaragg-lib/yaragg/test/test-errors.rkt
@@ -36,7 +36,7 @@
 
 
 ;; errors with position are sensitive to length of lang line
-(define lang-line "#lang brag")
+(define lang-line "#lang yaragg")
                      
 (check-compile-error (format "~a" lang-line)
                      "The grammar does not appear to have any rules")
@@ -52,34 +52,34 @@
 
 
 
-(check-compile-error "#lang brag\n x: NUMBER\nx:STRING"
+(check-compile-error "#lang yaragg\n x: NUMBER\nx:STRING"
                      "Rule x has a duplicate definition")
 
 ;; Check to see that missing definitions for rules also raise good syntax
 ;; errors:
 
-(check-compile-error "#lang brag\nx:y"
+(check-compile-error "#lang yaragg\nx:y"
                      "Rule y has no definition")
 
-(check-compile-error "#lang brag\nnumber : 1flarbl"
+(check-compile-error "#lang yaragg\nnumber : 1flarbl"
                      "Rule 1flarbl has no definition")
 
 
 
 
-(check-compile-error "#lang brag\nprogram: EOF"
+(check-compile-error "#lang yaragg\nprogram: EOF"
                      "Token EOF is reserved and can not be used in a grammar")
 
 
 
 ;; Nontermination checks:
-(check-compile-error "#lang brag\nx : x"
+(check-compile-error "#lang yaragg\nx : x"
                      "Rule x has no finite derivation")
 
 
 
 (check-compile-error #<<EOF
-#lang brag
+#lang yaragg
 x : x y
 y : "y"
 EOF
@@ -90,7 +90,7 @@ EOF
 
 ; This should be illegal too:
 (check-compile-error #<<EOF
-#lang brag
+#lang yaragg
 a : "a" b
 b : a | b 
 EOF
@@ -100,7 +100,7 @@ EOF
 
 
 (check-compile-error #<<EOF
-#lang brag
+#lang yaragg
 a : [b]
 b : [c]
 c : c
@@ -109,7 +109,7 @@ EOF
 
 
 (check-compile-error #<<EOF
-#lang brag
+#lang yaragg
 a : [b]
 b : c
 c : c
@@ -118,7 +118,7 @@ EOF
 
 
 (check-compile-error #<<EOF
-#lang brag
+#lang yaragg
 a : [a]
 b : [b]
 c : c
diff --git a/yaragg-lib/yaragg/test/weird-grammar.rkt b/yaragg-lib/yaragg/test/weird-grammar.rkt
index 094ddcd..e7537bd 100755
--- a/yaragg-lib/yaragg/test/weird-grammar.rkt
+++ b/yaragg-lib/yaragg/test/weird-grammar.rkt
@@ -1,4 +1,4 @@
-#lang brag
+#lang yaragg
 
 ;; This used to fail when we had the yacc-based backend, but
 ;; cfg-parser seems to be ok with it.
diff --git a/yaragg-parser-tools-doc/yaragg-parser-tools/br-parser-tools.scrbl b/yaragg-parser-tools-doc/yaragg-parser-tools/yaragg-parser-tools.scrbl
similarity index 100%
rename from yaragg-parser-tools-doc/yaragg-parser-tools/br-parser-tools.scrbl
rename to yaragg-parser-tools-doc/yaragg-parser-tools/yaragg-parser-tools.scrbl
diff --git a/yaragg/yaragg/yaragg.scrbl b/yaragg/yaragg/yaragg.scrbl
index 2adfc46..587df27 100755
--- a/yaragg/yaragg/yaragg.scrbl
+++ b/yaragg/yaragg/yaragg.scrbl
@@ -3,7 +3,7 @@
           racket/date
           file/md5
           (for-label racket
-                     brag
+                     yaragg
                      yaragg/support
                      (only-in yaragg-parser-tools/lex lexer-src-pos)
                      (only-in syntax/parse syntax-parse ~literal)))
@@ -26,12 +26,12 @@
 
 
 
-@title{brag: a better Racket AST generator}
+@title{Yaragg: Yet Another Racket AST-Generator Generator}
 @author["Danny Yoo (95%)" "Matthew Butterick (5%)"]
 
 
 
-@defmodulelang[brag]
+@defmodulelang[yaragg]
 
 
 @margin-note{This is a fork of the @link["https://docs.racket-lang.org/ragg"]{@racket[ragg]} package. It has a variety of bugfixes and new features. Some of these features have required new notation that's not necessarily compatible with all existing @racket[ragg] files. 
@@ -77,11 +77,11 @@ This BNF description is also known as a @deftech{grammar}. Just as it does in a
 
 Have we made progress?  We have a valid grammar. But we're still missing a @emph{parser}: a function that can use that description to make structures out of a sequence of tokens.
 
-Meanwhile, it's clear that we don't yet have a valid program because there's no @litchar{#lang} line. Let's add one: put @litchar{#lang brag} at the top of the grammar, and save it as a file called @filepath{nested-word-list.rkt}.
+Meanwhile, it's clear that we don't yet have a valid program because there's no @litchar{#lang} line. Let's add one: put @litchar{#lang yaragg} at the top of the grammar, and save it as a file called @filepath{nested-word-list.rkt}.
 
 @filebox["nested-word-list.rkt"]{
  @verbatim{
-  #lang brag
+  #lang yaragg
   nested-word-list: WORD
   | LEFT-PAREN nested-word-list* RIGHT-PAREN
 }}
@@ -151,7 +151,7 @@ to use:
 @itemize[
 
  @item{It provides a @litchar{#lang} for writing BNF grammars.
-  A module written in @litchar{#lang brag} automatically generates a
+  A module written in @litchar{#lang yaragg} automatically generates a
   parser. The grammar controls the structure of the syntax objects it generates.}
 
  @item{The language uses a few conventions to simplify the expression of
@@ -226,7 +226,7 @@ Here's a first pass at expressing the structure of these line-drawing programs.
 
 @filebox["simple-line-drawing.rkt"]{
  @verbatim|{
-  #lang brag
+  #lang yaragg
   drawing: rows*
   rows: repeat chunk+ ";"
   repeat: INTEGER
@@ -674,7 +674,7 @@ generates.
 
 @subsection[#:tag "brag-syntax"]{Syntax and terminology}
 A program in the @tt{brag} language consists of the language line
-@litchar{#lang brag}, followed by a collection of @tech{rule}s and
+@litchar{#lang yaragg}, followed by a collection of @tech{rule}s and
 possibly @tech{line comment}s or @tech{multiline comment}s.
 
 A @deftech{rule} is a sequence consisting of: a @tech{rule identifier}, a separator (either @litchar{":"} or @litchar{"::="}), and a @tech{pattern}.
@@ -726,7 +726,7 @@ A @deftech{pattern} is one of the following:
 For example, in the following program:
 @nested[#:style 'inset
         @verbatim|{
-         #lang brag
+         #lang yaragg
          ;; A parser for a silly language
          sentence: verb optional-adjective object
          verb: greeting
@@ -749,7 +749,7 @@ More examples:
   BNF for binary
   strings that contain an equal number of zeros and ones.
   @verbatim|{
-   #lang brag
+   #lang yaragg
    equal: [zero one | one zero]   ;; equal number of "0"s and "1"s.
    zero: "0" equal | equal "0"    ;; has an extra "0" in it.
    one: "1" equal | equal "1"     ;; has an extra "1" in it.
@@ -759,7 +759,7 @@ More examples:
  @item{A BNF for
   @link["http://www.json.org/"]{JSON}-like structures.
   @verbatim|{
-    #lang brag
+    #lang yaragg
     json: number | string
     | array  | object
     number: NUMBER
@@ -784,7 +784,7 @@ If the cut is applied to a right-hand pattern element, then that element is omit
 For instance, consider this simple grammar for arithmetic expressions:
 
 @verbatim|{
-#lang brag
+#lang yaragg
 expr : term ('+' term)*
 term : factor ('*' factor)*
 factor : ("0" | "1" | "2" | "3"
@@ -803,7 +803,7 @@ We get this parse tree:
 Suppose we felt the @litchar{+} and @litchar{*} characters were superfluous. We can add cuts to the grammar by prefixing these pattern elements with @litchar{/}:
 
 @verbatim|{
-#lang brag
+#lang yaragg
 expr : term (/'+' term)*
 term : factor (/'*' factor)*
 factor : ("0" | "1" | "2" | "3"
@@ -818,7 +818,7 @@ Our parse tree changes accordingly:
 Now suppose we apply a cut on the rule name, @racket[factor]:
 
 @verbatim|{
-#lang brag
+#lang yaragg
 expr : term (/'+' term)*
 term : factor (/'*' factor)*
 /factor : ("0" | "1" | "2" | "3"
@@ -839,7 +839,7 @@ If the splice is applied to a right-hand pattern element, that element is splice
 Suppose we remove the cut from the @racket[factor] rule name and instead splice the second appearance of @racket[factor] in the pattern for the @racket[term] rule:
 
 @verbatim|{
-#lang brag
+#lang yaragg
 expr : term (/'+' term)*
 term : factor (/'*' @factor)*
 factor : ("0" | "1" | "2" | "3"
@@ -854,7 +854,7 @@ The @racket[factor] elements matching the first position of the @racket[term] pa
 Finally, suppose we add a splice to the @racket[term] rule name:
 
 @verbatim|{
-#lang brag
+#lang yaragg
 expr : term (/'+' term)*
 @term : factor (/'*' @factor)*
 factor : ("0" | "1" | "2" | "3"
@@ -875,7 +875,7 @@ Caveat for the top-level rule: though the rule name can have a cut, it cannot ha
 @subsection{Syntax errors}
 
 Besides the basic syntax errors that can occur with a malformed grammar, there
-are a few other classes of situations that @litchar{#lang brag} will consider
+are a few other classes of situations that @litchar{#lang yaragg} will consider
 as syntax errors.
 
 @tt{brag} will raise a syntax error if the grammar:
@@ -888,7 +888,7 @@ as syntax errors.
   following program:
   @nested[#:style 'code-inset
           @verbatim|{
-             #lang brag
+             #lang yaragg
              foo: [bar]
              }|
           ]
@@ -904,7 +904,7 @@ as syntax errors.
   program:
   @nested[#:style 'code-inset
           @verbatim|{
-             #lang brag
+             #lang yaragg
              infinite-a: "a" infinite-a
              }|
           ]
@@ -918,7 +918,7 @@ grammars.
 
 @subsection{Semantics}
 
-A program written in @litchar{#lang brag} produces a module that provides a few
+A program written in @litchar{#lang yaragg} produces a module that provides a few
 bindings. The most important of these is @racket[parse]:
 
 @defproc[(parse [source-path any/c #f] 
@@ -994,7 +994,7 @@ Thus, it's only the presence of @tech{rule identifier}s in a rule's
  @filepath{simple-arithmetic-grammar.rkt}:
  @filebox["simple-arithmetic-grammar.rkt"]{
   @verbatim|{
-   #lang brag
+   #lang yaragg
    expr : term ('+' term)*
    term : factor ('*' factor)*
    factor : INT