Note that the first two lines of pop.in have already been deleted -- see the
discussion in the index.html file.