Thanks for jogging my memory. That Mac is probably running in “Parental Control” mode (in System Preferences/Accounts), which has a Finder checkbox option for “Modify the Dock”. That seems like a reasonable restriction for a public-access computer.
Ah, thanks - I'll look for that next time and see.