Workshop on the High-Rigidity Spectrometer for FRIB