K 10
svn:author
V 6
murray
K 8
svn:date
V 27
2003-11-24T03:55:10.000000Z
K 7
svn:log
V 286
<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>.

END
