<indexterm> entries can not be included in the middle of a table.
This confuses the print-backend so that it can't determine what page
the index entry should refer to, and just prints '???' instead of a
page number or range.

Move two entries a few lines up before the <informaltable>.