Nancy Pelosi just told her party that she will stay on as Democratic leader of the House. So that's settled.