Thanks very much, Janwillem and Oli. In my neophyte's enthusiasm for
object-oriented PHP, I was trying to instantiate objects wherever I saw
the vaguest possibility for them. I have now reworked my code with a
wiser, more jaded eye (though I still think it would be nice if there
were an in-built way to list all instances of a class).