don't fetch informalexample ids when building example id index (#56)
don't fetch informalexample ids when building example id index (#56)

The incrementing "example-N" numbers which are allocated during indexing
need to tally up when fetched for rendering.
php/phd,php/phd