* TODO: outline a long-term plan for dropping the "Ref: ^H" prepended
strings to Index tags to cope with standalone Info readers released
before 2025.