Democrats name their price on ending government shutdown | Not Hacker News!