We've collected all the DFT calculations, done some new ones, and reanalysed the old neutron polarimetry data. So we're now pretty sure which AFM domain corresponds to which sign of alpha in Cr2O3. To save you a lot of trouble we wrote it all down here: arxiv.org/pdf/2309.02095…