from gawk to mawk?

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 40-years/               2022-01-04 14:33    -   
 aho-gawk-git/           2024-03-17 20:21    -   
 awk-make/               2023-09-11 15:06    -   
 book/                   2023-07-08 11:56    -   
 examples/               2021-05-26 12:31    -   
 gawk-inet/              2021-10-07 16:36    -   
 gawk/                   2021-06-16 00:38    -   
 in-20-minutes/          2024-12-04 23:41    -   
 learnbyexample/         2023-10-07 11:16    -   
 oneliners/              2021-10-07 16:57    -   
 persistent-memory/      2023-02-27 01:39    -