Misnomer in page title and nav menu item for ?ACTION=who_pumpkin

[ap]

The nav menu item and the page heading should say “List of pumpkings” and the list should say “Registered pumpkings” (or maybe “Registered pumpkin holders”).

Arguably the action itself should have been called who_pumpking (note the “g” at the end) (see “pumpkin” vs “pumpking” in perlglossary) but we can just retcon “who_pumpkin” as meaning “who has held the pumpkin“.

[haarg]

As noted on #534, the pumpking role has been retired, so we'd want a new term for this. Probably just something explanatory like "Authorized Perl releasers".

[ap]

I was hoping that all the user-facing uses referred only to “pumpkin”, not “pumpking”, in which case we could at least stop talking about “pumpkings” and just refer to the “pumpkin bit”. That would allow a minimal patch that would take into account the stated intent.

Unfortunately the respective file is called 08pumpkings.txt.gz, so the term has slipped out in a user-facing way that we cannot easily fix. And there are a hundred more places in the code which refer to either “pumpkin” or “pumpking”, including a DB column name and a user group name.

I’m not personally interested in cleaning all of that up. I am bothered by the mistaken usage, and given that a wholesale terminology switch is a lot of work, I intend to just fix the one mistake while leaving the current terminology in place.

If anyone else is motivated enough to take on the wholesale terminology switch, I’m happy for them to do so. It just won’t be me.