> If this weren't October, I'd have thought this was an April Fools' joke. > > Hm. Maybe the "orang pendek" stories aren't so far-fetched after all... Exactly my thoughts (plus a huge addition of surprise!). Except... the orang pendek isn't on the right island.