Ahhh... but they don't really have a loss in excess of basis. The loss and a cash distribution took the basis to zero, but not below. As to the carryover to 2020 and simply deleting it, that's pretty much what I figured.
