@lyse wouldn’t the PDF version be better? https://www.gnu.org/software/gawk/manual/gawk.pdf