The scattered Requires_Full_Index calls where necessary in the ancient self-compiling alr. Nowadays we could load the index on demand when it is first queried.