Your Link:
https%3A%2F%2Fwww.gnu.org%2Fsoftware%2Fgawk%2Fmanual%2Fgawk.html