If anyone is interested, I reached out to ken2812221 a few weeks ago, after his GitHub had been quiet for a few months. He replied this arvo: "I am fulfilling my mandatory military service. So I don't have time to explore anything on Github. :)".
emilengler: are you running test/lint/lint-whitespace.sh from root? if no, adjust the path. if yes, it might seem like it isn't running if no extra whitespace is found; add EOL spaces in a file and it should detect it.
emilengler: (apologies if that was obvious... the first time I used the whitespace linter it seemed to me it wasn't doing anything because it runs so quickly)
jonatack, thanks but I've fixed the whitespace issue 10hours ago :P
I decided to run macOS Catalina on an older laptop so that this time we'll know about problems a few months earlier... #16387