Indexing of examples

A seemingly random choice of examples is indexed under "examples". That seems neither here nor there.

If we feel like it, we could create a separate index with (nearly) all examples. Or stop indexing them at all.