Re: WSJ on "IRS-bashing"