It appears I never grabbed them. My guess is that because the namespace began with "Tropers", my script decided not to download them -- I decided very early on we were not going to save user pages. If we want them, we'll have to reconstruct them off of archive.org.
-- ∇×V
-- ∇×V