Here's where the manual introduces the convention: https://www.gnu.org/software/...

		bewuethr on Feb 10, 2024 \| parent \| context \| favorite \| on: Aho – a Git implementation in Awk Here's where the manual introduces the convention: https://www.gnu.org/software/gawk/manual/gawk.html#Variable-...