After putting this aside for awhile, it occurred to me that our own JS
include system may be at fault. Sure enough, I looked at the source
more closely and saw that it had let a duplicate through. The bug's
all mine. Sorry for the noise.

Reply via email to