Hi there,

Docker [...] doesn't [...] clean up after itself properly when you CTRL+C it.

Sorry about that. It looks like nobody reported this issue yet. Would you mind filing a bug report on the github repo? Feel free to join the #docker channel on Freenode and we'll be happy to help you out.

Does anyone even know what a Linux container is?

Yes.