Yes, but in that situation they're still allowed to have "reddit" in the name. It seems like using docker at all in the repo name is forbidden.
I don't think so. Apparently the problem is only with repos starting with "docker". As an example, the project "dockercli" was renamed to "wharfee" due to legal issues with docker inc.