re: #435 Racer X

I’m cool with that.

So maybe Panetta didn’t shut down that program after-all.