There are Circle CI remnants that should be removed

[fhaynes]

There are some Circle CI configuration files that need to be removed. These are from some time ago, back when we used to use them. We no longer do, so they can be safely removed.