Fix indexing numeric words in page contents

Since a8dba4523d2ecd09dd69a68a36673eaf5c009c57 the search index didn't
properly index numeric words anymore, instead they were added as new
words to the word list each time they were indexed, leading to an
ever-increasing index size.