So is today the last day of trading? Shouldn't the buy/sell matchup thing be done by now? (According to that tweet in Feb.)