The law directed the IRS to try to make rules about this sort of double-dipping.

As of now, the IRS has not done so and the Instructions say nothing about it.  So unless/until that changes, as of now it looks like double-dipping is allowed.