This is a current issue on PyPI. Usernames are case sensitive so I can have dstufft, Dstufft, etc. We need to both make sure this cannot happen in Warehouse, and figure out what sort of transition plan we will use.