Bertram, thank you for the report.
Paul: thank you for the analysis. FWIW, I agree. Not a bug.
rk> I can't imagine that page numbers in index entries are hard coded.
In Knuth's books, they are. If you look at the end of texbook.tex or
mfbook.tex, you will see. -k