<@U016EM8L91B> I think the SPECTRE to SPICE conversion is a separate issue?
t
@User I think the SPECTRE to SPICE conversion is a separate issue?