[pc86]

And it probably should - the IRS is in the business of collecting money from citizens and corporations. It should not be in the business of managing investments and RSUs in thousands of private entities.