Comment by BillFranklin

Yes I agree. We don't know why Docker did this. It's not a particularly helpful thing to do, but it's just not that major an issue.

I think many who posted on the Github issue will later regret the tone of their reaction. The treatment of the Docker employee was particularly nasty.