Thanks a lot for your insightful comments on using archive.org facilities for Wikipedians' needs.