github/dmca — pull request #21 by jenmontes (2014-01-28 15:19:10+00:00)
Title: Removed a name that should have been private.

I noticed a name included in this take-down request that should have been marked as [private]. I'm not sure what good it will do now since the file history is public, but I'm submitting this for completeness's sake.