There was a Democratic primary debate last night — you have missed it, or already forgotten most of what happened.