At this point, I'm leaving it as a synonym of Deilanthe thudichumii. If anyone searches for it, it will show up.
I'm wary of taking GRIN's word that the opposite is true -- that Deilanthe is a synonym of Aloinopsis -- because GRIN doesn't recognize any species names for either of these genera. We need a more comprehensive source.