We no longer generate them, but they may be in existing GHC trees, so we'll keep cleaning them for a while.