I thought they were little jungle men, which meant black pygmies...
Mu Dinofiddler,
Wed 26 Aug 2009, 15:15,
archived)
In the early printings, but that was changed due to a hoo-haa about it being racist
HappyToast Groat froth,
Wed 26 Aug 2009, 15:18,
archived)
They were in the version I've read
mediocre ha ha ha, you're reading this,
Wed 26 Aug 2009, 15:56,
archived)