Will Democrats bring back Obama-era IRS targeting of conservatives?