18 Feb
2022
18 Feb
'22
4 a.m.
On 18 Feb 2022, at 08:18, Dave Horsfall
<dave(a)horsfall.org> wrote:
<…>
Incidentally,
the Wikipedia page only lists Robert Morris as author of
dc. If anyone here is able to edit Wikipedia, now would be a good time
to get Lorinda Cherry's name on there, too.
Anyone can edit Wikipedia; if you're an editor then you have your name
shown instead of your IP address (and someone ought to fix that stupid
"cat file | cmd" construct as well), but beware of the edit-nazis who seem
to think that they "own" something that is factually wrong and keep
changing it back to suit their own cultural views e.g. Kokoda Track vs.
Trail.