index_set(7rheolef) on Linux

The text 63c8c0e7a84f, as Debian 10 (Buster) shipped it. The page shows this text now.

a set of indexes (rheolef-7.0)

index_set(7rheolef) on Linux now