Table 17.2 in 'GAWK: Effective AWK Programming' PDF malformed

[Jeff_W]

Configuration Information [Automatically generated, do not change]:
Machine: x86_64
OS: linux-gnu
Compiler: gcc
Compilation CFLAGS: -g -O2 -ffile-prefix-map=/build/gawk-vzdNMW/gawk-5.2.1=. 
-fstack-protector-strong -Wformat -Werror=format-security -DNDEBUG
uname output: Linux carbon 6.1.0-17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 
6.1.69-1 (2023-12-30) x86_64 GNU/Linux
Machine Type: x86_64-pc-linux-gnu

Gawk Version: 5.2.1

Attestation 1:
  I have read https://www.gnu.org/software/gawk/manual/html_node/Bugs.html.
  Yes

Attestation 2:
  I have not modified the sources before building gawk.
  True

Description:
  The heading in Table 17.2 (p428) of 'GAWK: Effective AWK Programming' PDF
  version is mangled due to misalignment; it should sit above the column
  headings.

Repeat-By:
  Download and open the forementioned PDF in a suitable document viewer.

Fix:
  The texi source was downloaded and the following patch was generated for
  the gawk.texi file:

  # gawk.texi.diff
  36817a36818
  >     <row><entry></entry></row>

  This *should* insert an extra blank row between 'Type of Actual Value' and
  the various column headings; should be verified with the actual PDF build
  scheme in use by the Gawk project.