Renaming KrylovSpectral to IRA in preparation for an extension