[SCM] gawk branch, feature/pma2, updated. gawk-4.1.0-4768-gce3bb88b

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, feature/pma2 has been updated
       via  ce3bb88b7e71e1185c243bcc22cdcc7dbb250988 (commit)
      from  0c101d168279d1400d3954a84a231ee70862ab61 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=ce3bb88b7e71e1185c243bcc22cdcc7dbb250988

commit ce3bb88b7e71e1185c243bcc22cdcc7dbb250988
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Wed Jun 22 10:33:08 2022 +0300

    Doc updates.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 4c8fbdb7..22fc3c3d 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,7 @@
+2022-06-22         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * gawktexi.in (Persistent Memory): Additional updates.
+
 2022-06-20         Arnold D. Robbins     <arnold@skeeve.com>
 
        * gawk.1: MPFR is now "on parole" instead of deprecated.
@@ -7,7 +11,7 @@
 
        * gawk.1: Typo fix.
        * wordlist, wordlist2, wordlist5: Updated.
-       * gawktexi.in (Persistent  Memory): Updated after comments from
+       * gawktexi.in (Persistent Memory): Updated after comments from
        Terence Kelly.
 
 2022-06-14         Arnold D. Robbins     <arnold@skeeve.com>
@@ -17,7 +21,7 @@
 
 2022-06-13         Arnold D. Robbins     <arnold@skeeve.com>
 
-       * gawktexi.in (Persistent  Memory): New section.
+       * gawktexi.in (Persistent Memory): New section.
 
 2022-06-10         Arnold D. Robbins     <arnold@skeeve.com>
 
diff --git a/doc/gawk.info b/doc/gawk.info
index a935c57f..1c94a882 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -22188,9 +22188,6 @@ to communicate via text files.
      exhaustion, i.e., 'pma_malloc()' returns 'NULL'.  But persistent
      'gawk' should still work even without sparse files.
 
-   As noted earlier, support for persistent memory is _experimental_.
-If it becomes burdensome,(1) then the feature will be removed.
-
    You can disable the use of the persistent memory allocator in 'gawk'
 with the '--disable-pma' to the 'configure' command at the time that you
 are building 'gawk' (*note Unix Installation::).
@@ -22207,8 +22204,7 @@ persistent memory and why it's useful in a scripting 
language like
 
 'Persistent Memory Allocation'
      Terence Kelly, Zi Fan Tan, Jianan Li, and Haris Volos, ACM 'Queue'
-     magazine, Vol.  20 No.  2 (March/April 2022), HTML
-     (https://queue.acm.org/DrillBits7/).  PDF
+     magazine, Vol.  20 No.  2 (March/April 2022), PDF
      (https://dl.acm.org/doi/pdf/10.1145/3534855), HTML
      (https://queue.acm.org/detail.cfm?id=3534855).  This paper explains
      the design of the PMA allocator used in persistent 'gawk'.
@@ -22240,6 +22236,17 @@ persistent memory and why it's useful in a scripting 
language like
      HTML (https://queue.acm.org/detail.cfm?id=3487353).  This paper
      describes a crash-tolerance feature added to GNU DBM' ('gdbm').
 
+   When Terence Kelly published his papers, his collaborators produced a
+prototype integration of PMA with 'gawk'.  That version used a
+(mandatory!)  option '--persist=FILE' to specify the file for storing
+the persistent heap.  If this option is given to 'gawk', it produces a
+fatal error message instructing the user to use the 'GAWK_PERSIST_FILE'
+environment variable instead.  Except for this paragraph, that option is
+otherwise undocumented.
+
+   As noted earlier, support for persistent memory is _experimental_.
+If it becomes burdensome,(1) then the feature will be removed.
+
    ---------- Footnotes ----------
 
    (1) Meaning, there are too many bug reports, or too many strange
@@ -39359,244 +39366,244 @@ Ref: Two-way I/O-Footnote-2884071
 Node: TCP/IP Networking884153
 Node: Profiling887229
 Node: Persistent Memory896535
-Ref: Persistent Memory-Footnote-1902238
-Node: Extension Philosophy902365
-Node: Advanced Features Summary903852
-Node: Internationalization906024
-Node: I18N and L10N907698
-Node: Explaining gettext908385
-Ref: Explaining gettext-Footnote-1914277
-Ref: Explaining gettext-Footnote-2914462
-Node: Programmer i18n914627
-Ref: Programmer i18n-Footnote-1919576
-Node: Translator i18n919625
-Node: String Extraction920419
-Ref: String Extraction-Footnote-1921551
-Node: Printf Ordering921637
-Ref: Printf Ordering-Footnote-1924423
-Node: I18N Portability924487
-Ref: I18N Portability-Footnote-1926943
-Node: I18N Example927006
-Ref: I18N Example-Footnote-1930281
-Ref: I18N Example-Footnote-2930354
-Node: Gawk I18N930463
-Node: I18N Summary931085
-Node: Debugger932426
-Node: Debugging933426
-Node: Debugging Concepts933867
-Node: Debugging Terms935676
-Node: Awk Debugging938251
-Ref: Awk Debugging-Footnote-1939196
-Node: Sample Debugging Session939328
-Node: Debugger Invocation939862
-Node: Finding The Bug941248
-Node: List of Debugger Commands947722
-Node: Breakpoint Control949055
-Node: Debugger Execution Control952749
-Node: Viewing And Changing Data956111
-Node: Execution Stack959652
-Node: Debugger Info961289
-Node: Miscellaneous Debugger Commands965360
-Node: Readline Support970422
-Node: Limitations971318
-Node: Debugging Summary973872
-Node: Namespaces975151
-Node: Global Namespace976262
-Node: Qualified Names977660
-Node: Default Namespace978659
-Node: Changing The Namespace979400
-Node: Naming Rules981014
-Node: Internal Name Management982862
-Node: Namespace Example983904
-Node: Namespace And Features986466
-Node: Namespace Summary987901
-Node: Arbitrary Precision Arithmetic989378
-Node: Computer Arithmetic990865
-Ref: table-numeric-ranges994631
-Ref: table-floating-point-ranges995125
-Ref: Computer Arithmetic-Footnote-1995784
-Node: Math Definitions995841
-Ref: table-ieee-formats998817
-Node: MPFR features999385
-Node: MPFR On Parole999830
-Ref: MPFR On Parole-Footnote-11000659
-Node: MPFR Intro1000814
-Node: FP Math Caution1002453
-Ref: FP Math Caution-Footnote-11003525
-Node: Inexactness of computations1003894
-Node: Inexact representation1004925
-Node: Comparing FP Values1006285
-Node: Errors accumulate1007526
-Node: Strange values1008982
-Ref: Strange values-Footnote-11011570
-Node: Getting Accuracy1011675
-Node: Try To Round1014385
-Node: Setting precision1015284
-Ref: table-predefined-precision-strings1015981
-Node: Setting the rounding mode1017812
-Ref: table-gawk-rounding-modes1018186
-Ref: Setting the rounding mode-Footnote-11022118
-Node: Arbitrary Precision Integers1022297
-Ref: Arbitrary Precision Integers-Footnote-11025472
-Node: Checking for MPFR1025621
-Node: POSIX Floating Point Problems1027095
-Ref: POSIX Floating Point Problems-Footnote-11031748
-Node: Floating point summary1031786
-Node: Dynamic Extensions1033976
-Node: Extension Intro1035529
-Node: Plugin License1036795
-Node: Extension Mechanism Outline1037592
-Ref: figure-load-extension1038031
-Ref: figure-register-new-function1039597
-Ref: figure-call-new-function1040690
-Node: Extension API Description1042753
-Node: Extension API Functions Introduction1044466
-Ref: table-api-std-headers1046302
-Node: General Data Types1050552
-Ref: General Data Types-Footnote-11059258
-Node: Memory Allocation Functions1059557
-Ref: Memory Allocation Functions-Footnote-11064058
-Node: Constructor Functions1064157
-Node: API Ownership of MPFR and GMP Values1067810
-Node: Registration Functions1069343
-Node: Extension Functions1070043
-Node: Exit Callback Functions1075365
-Node: Extension Version String1076615
-Node: Input Parsers1077278
-Node: Output Wrappers1089999
-Node: Two-way processors1094511
-Node: Printing Messages1096776
-Ref: Printing Messages-Footnote-11097947
-Node: Updating ERRNO1098100
-Node: Requesting Values1098839
-Ref: table-value-types-returned1099576
-Node: Accessing Parameters1100685
-Node: Symbol Table Access1101922
-Node: Symbol table by name1102434
-Ref: Symbol table by name-Footnote-11105459
-Node: Symbol table by cookie1105587
-Ref: Symbol table by cookie-Footnote-11109772
-Node: Cached values1109836
-Ref: Cached values-Footnote-11113372
-Node: Array Manipulation1113525
-Ref: Array Manipulation-Footnote-11114616
-Node: Array Data Types1114653
-Ref: Array Data Types-Footnote-11117311
-Node: Array Functions1117403
-Node: Flattening Arrays1122188
-Node: Creating Arrays1129164
-Node: Redirection API1133931
-Node: Extension API Variables1136764
-Node: Extension Versioning1137475
-Ref: gawk-api-version1137904
-Node: Extension GMP/MPFR Versioning1139636
-Node: Extension API Informational Variables1141264
-Node: Extension API Boilerplate1142337
-Node: Changes from API V11146311
-Node: Finding Extensions1147883
-Node: Extension Example1148442
-Node: Internal File Description1149240
-Node: Internal File Ops1153320
-Ref: Internal File Ops-Footnote-11164670
-Node: Using Internal File Ops1164810
-Ref: Using Internal File Ops-Footnote-11167193
-Node: Extension Samples1167467
-Node: Extension Sample File Functions1168996
-Node: Extension Sample Fnmatch1176645
-Node: Extension Sample Fork1178132
-Node: Extension Sample Inplace1179350
-Node: Extension Sample Ord1182976
-Node: Extension Sample Readdir1183812
-Ref: table-readdir-file-types1184701
-Node: Extension Sample Revout1185769
-Node: Extension Sample Rev2way1186358
-Node: Extension Sample Read write array1187098
-Node: Extension Sample Readfile1190263
-Node: Extension Sample Time1191358
-Node: Extension Sample API Tests1193110
-Node: gawkextlib1193602
-Node: Extension summary1196520
-Node: Extension Exercises1200222
-Node: Language History1201464
-Node: V7/SVR3.11203120
-Node: SVR41205272
-Node: POSIX1206706
-Node: BTL1208087
-Node: POSIX/GNU1208816
-Node: Feature History1214594
-Node: Common Extensions1231769
-Node: Ranges and Locales1233052
-Ref: Ranges and Locales-Footnote-11237668
-Ref: Ranges and Locales-Footnote-21237695
-Ref: Ranges and Locales-Footnote-31237930
-Node: Contributors1238153
-Node: History summary1244150
-Node: Installation1245530
-Node: Gawk Distribution1246474
-Node: Getting1246958
-Node: Extracting1247921
-Node: Distribution contents1249559
-Node: Unix Installation1256620
-Node: Quick Installation1257424
-Node: Compiling with MPFR1259844
-Node: Shell Startup Files1260534
-Node: Additional Configuration Options1261623
-Node: Configuration Philosophy1263938
-Node: Compiling from Git1266334
-Node: Building the Documentation1266889
-Node: Non-Unix Installation1268273
-Node: PC Installation1268733
-Node: PC Binary Installation1269571
-Node: PC Compiling1270444
-Node: PC Using1271561
-Node: Cygwin1275114
-Node: MSYS1276338
-Node: VMS Installation1276940
-Node: VMS Compilation1277659
-Ref: VMS Compilation-Footnote-11278888
-Node: VMS Dynamic Extensions1278946
-Node: VMS Installation Details1280631
-Node: VMS Running1282893
-Node: VMS GNV1287172
-Node: Bugs1287886
-Node: Bug definition1288798
-Node: Bug address1291734
-Node: Usenet1294922
-Node: Performance bugs1296111
-Node: Asking for help1299032
-Node: Maintainers1300999
-Node: Other Versions1302193
-Node: Installation summary1310463
-Node: Notes1311827
-Node: Compatibility Mode1312621
-Node: Additions1313403
-Node: Accessing The Source1314328
-Node: Adding Code1315765
-Node: New Ports1322580
-Node: Derived Files1326955
-Ref: Derived Files-Footnote-11332615
-Ref: Derived Files-Footnote-21332650
-Ref: Derived Files-Footnote-31333248
-Node: Future Extensions1333362
-Node: Implementation Limitations1334020
-Node: Extension Design1335230
-Node: Old Extension Problems1336374
-Ref: Old Extension Problems-Footnote-11337892
-Node: Extension New Mechanism Goals1337949
-Ref: Extension New Mechanism Goals-Footnote-11341313
-Node: Extension Other Design Decisions1341502
-Node: Extension Future Growth1343615
-Node: Notes summary1344221
-Node: Basic Concepts1345379
-Node: Basic High Level1346060
-Ref: figure-general-flow1346342
-Ref: figure-process-flow1347028
-Ref: Basic High Level-Footnote-11350330
-Node: Basic Data Typing1350515
-Node: Glossary1353843
-Node: Copying1385730
-Node: GNU Free Documentation License1423273
-Node: Index1448393
+Ref: Persistent Memory-Footnote-1902637
+Node: Extension Philosophy902764
+Node: Advanced Features Summary904251
+Node: Internationalization906423
+Node: I18N and L10N908097
+Node: Explaining gettext908784
+Ref: Explaining gettext-Footnote-1914676
+Ref: Explaining gettext-Footnote-2914861
+Node: Programmer i18n915026
+Ref: Programmer i18n-Footnote-1919975
+Node: Translator i18n920024
+Node: String Extraction920818
+Ref: String Extraction-Footnote-1921950
+Node: Printf Ordering922036
+Ref: Printf Ordering-Footnote-1924822
+Node: I18N Portability924886
+Ref: I18N Portability-Footnote-1927342
+Node: I18N Example927405
+Ref: I18N Example-Footnote-1930680
+Ref: I18N Example-Footnote-2930753
+Node: Gawk I18N930862
+Node: I18N Summary931484
+Node: Debugger932825
+Node: Debugging933825
+Node: Debugging Concepts934266
+Node: Debugging Terms936075
+Node: Awk Debugging938650
+Ref: Awk Debugging-Footnote-1939595
+Node: Sample Debugging Session939727
+Node: Debugger Invocation940261
+Node: Finding The Bug941647
+Node: List of Debugger Commands948121
+Node: Breakpoint Control949454
+Node: Debugger Execution Control953148
+Node: Viewing And Changing Data956510
+Node: Execution Stack960051
+Node: Debugger Info961688
+Node: Miscellaneous Debugger Commands965759
+Node: Readline Support970821
+Node: Limitations971717
+Node: Debugging Summary974271
+Node: Namespaces975550
+Node: Global Namespace976661
+Node: Qualified Names978059
+Node: Default Namespace979058
+Node: Changing The Namespace979799
+Node: Naming Rules981413
+Node: Internal Name Management983261
+Node: Namespace Example984303
+Node: Namespace And Features986865
+Node: Namespace Summary988300
+Node: Arbitrary Precision Arithmetic989777
+Node: Computer Arithmetic991264
+Ref: table-numeric-ranges995030
+Ref: table-floating-point-ranges995524
+Ref: Computer Arithmetic-Footnote-1996183
+Node: Math Definitions996240
+Ref: table-ieee-formats999216
+Node: MPFR features999784
+Node: MPFR On Parole1000229
+Ref: MPFR On Parole-Footnote-11001058
+Node: MPFR Intro1001213
+Node: FP Math Caution1002852
+Ref: FP Math Caution-Footnote-11003924
+Node: Inexactness of computations1004293
+Node: Inexact representation1005324
+Node: Comparing FP Values1006684
+Node: Errors accumulate1007925
+Node: Strange values1009381
+Ref: Strange values-Footnote-11011969
+Node: Getting Accuracy1012074
+Node: Try To Round1014784
+Node: Setting precision1015683
+Ref: table-predefined-precision-strings1016380
+Node: Setting the rounding mode1018211
+Ref: table-gawk-rounding-modes1018585
+Ref: Setting the rounding mode-Footnote-11022517
+Node: Arbitrary Precision Integers1022696
+Ref: Arbitrary Precision Integers-Footnote-11025871
+Node: Checking for MPFR1026020
+Node: POSIX Floating Point Problems1027494
+Ref: POSIX Floating Point Problems-Footnote-11032147
+Node: Floating point summary1032185
+Node: Dynamic Extensions1034375
+Node: Extension Intro1035928
+Node: Plugin License1037194
+Node: Extension Mechanism Outline1037991
+Ref: figure-load-extension1038430
+Ref: figure-register-new-function1039996
+Ref: figure-call-new-function1041089
+Node: Extension API Description1043152
+Node: Extension API Functions Introduction1044865
+Ref: table-api-std-headers1046701
+Node: General Data Types1050951
+Ref: General Data Types-Footnote-11059657
+Node: Memory Allocation Functions1059956
+Ref: Memory Allocation Functions-Footnote-11064457
+Node: Constructor Functions1064556
+Node: API Ownership of MPFR and GMP Values1068209
+Node: Registration Functions1069742
+Node: Extension Functions1070442
+Node: Exit Callback Functions1075764
+Node: Extension Version String1077014
+Node: Input Parsers1077677
+Node: Output Wrappers1090398
+Node: Two-way processors1094910
+Node: Printing Messages1097175
+Ref: Printing Messages-Footnote-11098346
+Node: Updating ERRNO1098499
+Node: Requesting Values1099238
+Ref: table-value-types-returned1099975
+Node: Accessing Parameters1101084
+Node: Symbol Table Access1102321
+Node: Symbol table by name1102833
+Ref: Symbol table by name-Footnote-11105858
+Node: Symbol table by cookie1105986
+Ref: Symbol table by cookie-Footnote-11110171
+Node: Cached values1110235
+Ref: Cached values-Footnote-11113771
+Node: Array Manipulation1113924
+Ref: Array Manipulation-Footnote-11115015
+Node: Array Data Types1115052
+Ref: Array Data Types-Footnote-11117710
+Node: Array Functions1117802
+Node: Flattening Arrays1122587
+Node: Creating Arrays1129563
+Node: Redirection API1134330
+Node: Extension API Variables1137163
+Node: Extension Versioning1137874
+Ref: gawk-api-version1138303
+Node: Extension GMP/MPFR Versioning1140035
+Node: Extension API Informational Variables1141663
+Node: Extension API Boilerplate1142736
+Node: Changes from API V11146710
+Node: Finding Extensions1148282
+Node: Extension Example1148841
+Node: Internal File Description1149639
+Node: Internal File Ops1153719
+Ref: Internal File Ops-Footnote-11165069
+Node: Using Internal File Ops1165209
+Ref: Using Internal File Ops-Footnote-11167592
+Node: Extension Samples1167866
+Node: Extension Sample File Functions1169395
+Node: Extension Sample Fnmatch1177044
+Node: Extension Sample Fork1178531
+Node: Extension Sample Inplace1179749
+Node: Extension Sample Ord1183375
+Node: Extension Sample Readdir1184211
+Ref: table-readdir-file-types1185100
+Node: Extension Sample Revout1186168
+Node: Extension Sample Rev2way1186757
+Node: Extension Sample Read write array1187497
+Node: Extension Sample Readfile1190662
+Node: Extension Sample Time1191757
+Node: Extension Sample API Tests1193509
+Node: gawkextlib1194001
+Node: Extension summary1196919
+Node: Extension Exercises1200621
+Node: Language History1201863
+Node: V7/SVR3.11203519
+Node: SVR41205671
+Node: POSIX1207105
+Node: BTL1208486
+Node: POSIX/GNU1209215
+Node: Feature History1214993
+Node: Common Extensions1232168
+Node: Ranges and Locales1233451
+Ref: Ranges and Locales-Footnote-11238067
+Ref: Ranges and Locales-Footnote-21238094
+Ref: Ranges and Locales-Footnote-31238329
+Node: Contributors1238552
+Node: History summary1244549
+Node: Installation1245929
+Node: Gawk Distribution1246873
+Node: Getting1247357
+Node: Extracting1248320
+Node: Distribution contents1249958
+Node: Unix Installation1257019
+Node: Quick Installation1257823
+Node: Compiling with MPFR1260243
+Node: Shell Startup Files1260933
+Node: Additional Configuration Options1262022
+Node: Configuration Philosophy1264337
+Node: Compiling from Git1266733
+Node: Building the Documentation1267288
+Node: Non-Unix Installation1268672
+Node: PC Installation1269132
+Node: PC Binary Installation1269970
+Node: PC Compiling1270843
+Node: PC Using1271960
+Node: Cygwin1275513
+Node: MSYS1276737
+Node: VMS Installation1277339
+Node: VMS Compilation1278058
+Ref: VMS Compilation-Footnote-11279287
+Node: VMS Dynamic Extensions1279345
+Node: VMS Installation Details1281030
+Node: VMS Running1283292
+Node: VMS GNV1287571
+Node: Bugs1288285
+Node: Bug definition1289197
+Node: Bug address1292133
+Node: Usenet1295321
+Node: Performance bugs1296510
+Node: Asking for help1299431
+Node: Maintainers1301398
+Node: Other Versions1302592
+Node: Installation summary1310862
+Node: Notes1312226
+Node: Compatibility Mode1313020
+Node: Additions1313802
+Node: Accessing The Source1314727
+Node: Adding Code1316164
+Node: New Ports1322979
+Node: Derived Files1327354
+Ref: Derived Files-Footnote-11333014
+Ref: Derived Files-Footnote-21333049
+Ref: Derived Files-Footnote-31333647
+Node: Future Extensions1333761
+Node: Implementation Limitations1334419
+Node: Extension Design1335629
+Node: Old Extension Problems1336773
+Ref: Old Extension Problems-Footnote-11338291
+Node: Extension New Mechanism Goals1338348
+Ref: Extension New Mechanism Goals-Footnote-11341712
+Node: Extension Other Design Decisions1341901
+Node: Extension Future Growth1344014
+Node: Notes summary1344620
+Node: Basic Concepts1345778
+Node: Basic High Level1346459
+Ref: figure-general-flow1346741
+Ref: figure-process-flow1347427
+Ref: Basic High Level-Footnote-11350729
+Node: Basic Data Typing1350914
+Node: Glossary1354242
+Node: Copying1386129
+Node: GNU Free Documentation License1423672
+Node: Index1448792
 
 End Tag Table
 
diff --git a/doc/gawk.texi b/doc/gawk.texi
index c8db1de1..3ef75120 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -31057,11 +31057,6 @@ encryption.  Not sure if we need to say that here.
 @end ignore
 @end quotation
 
-As noted earlier, support for persistent memory is @emph{experimental}.
-If it becomes burdensome,@footnote{Meaning, there are too many
-bug reports, or too many strange differences in behavior from when
-@command{gawk} is run normally.} then the feature will be removed.
-
 You can disable the use of the persistent memory allocator in
 @command{gawk} with the @option{--disable-pma} to the @command{configure}
 command at the time that you are building @command{gawk} (@pxref{Unix
@@ -31083,7 +31078,6 @@ email addresses:
 @item @cite{Persistent Memory Allocation}
 Terence Kelly, Zi Fan Tan, Jianan Li, and Haris Volos,
 ACM @cite{Queue} magazine, Vol. 20 No. 2 (March/April 2022),
-@uref{https://queue.acm.org/DrillBits7/, HTML}.
 @uref{https://dl.acm.org/doi/pdf/10.1145/3534855, PDF},
 @uref{https://queue.acm.org/detail.cfm?id=3534855, HTML}.
 This paper explains the design of the PMA
@@ -31122,6 +31116,19 @@ This paper describes a crash-tolerance feature added 
to GNU DBM'
 (@code{gdbm}).
 @end table
 
+When Terence Kelly published his papers, his collaborators produced
+a prototype integration of PMA with @command{gawk}.  That version used
+a (mandatory!) option @option{--persist=@var{file}} to specify the file
+for storing the persistent heap. If this option is given to @command{gawk},
+it produces a fatal error message instructing the user to use the
+@env{GAWK_PERSIST_FILE} environment variable instead. Except for this
+paragraph, that option is otherwise undocumented.
+
+As noted earlier, support for persistent memory is @emph{experimental}.
+If it becomes burdensome,@footnote{Meaning, there are too many
+bug reports, or too many strange differences in behavior from when
+@command{gawk} is run normally.} then the feature will be removed.
+
 
 @node Extension Philosophy
 @section Builtin Features versus Extensions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 90f25e9f..ce35dbf9 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -29939,11 +29939,6 @@ encryption.  Not sure if we need to say that here.
 @end ignore
 @end quotation
 
-As noted earlier, support for persistent memory is @emph{experimental}.
-If it becomes burdensome,@footnote{Meaning, there are too many
-bug reports, or too many strange differences in behavior from when
-@command{gawk} is run normally.} then the feature will be removed.
-
 You can disable the use of the persistent memory allocator in
 @command{gawk} with the @option{--disable-pma} to the @command{configure}
 command at the time that you are building @command{gawk} (@pxref{Unix
@@ -29965,7 +29960,6 @@ email addresses:
 @item @cite{Persistent Memory Allocation}
 Terence Kelly, Zi Fan Tan, Jianan Li, and Haris Volos,
 ACM @cite{Queue} magazine, Vol. 20 No. 2 (March/April 2022),
-@uref{https://queue.acm.org/DrillBits7/, HTML}.
 @uref{https://dl.acm.org/doi/pdf/10.1145/3534855, PDF},
 @uref{https://queue.acm.org/detail.cfm?id=3534855, HTML}.
 This paper explains the design of the PMA
@@ -30004,6 +29998,19 @@ This paper describes a crash-tolerance feature added 
to GNU DBM'
 (@code{gdbm}).
 @end table
 
+When Terence Kelly published his papers, his collaborators produced
+a prototype integration of PMA with @command{gawk}.  That version used
+a (mandatory!) option @option{--persist=@var{file}} to specify the file
+for storing the persistent heap. If this option is given to @command{gawk},
+it produces a fatal error message instructing the user to use the
+@env{GAWK_PERSIST_FILE} environment variable instead. Except for this
+paragraph, that option is otherwise undocumented.
+
+As noted earlier, support for persistent memory is @emph{experimental}.
+If it becomes burdensome,@footnote{Meaning, there are too many
+bug reports, or too many strange differences in behavior from when
+@command{gawk} is run normally.} then the feature will be removed.
+
 
 @node Extension Philosophy
 @section Builtin Features versus Extensions

-----------------------------------------------------------------------

Summary of changes:
 doc/ChangeLog   |   8 +-
 doc/gawk.info   | 493 ++++++++++++++++++++++++++++----------------------------
 doc/gawk.texi   |  19 ++-
 doc/gawktexi.in |  19 ++-
 4 files changed, 282 insertions(+), 257 deletions(-)


hooks/post-receive
-- 
gawk