I think you're referring to another post now. I doubt they eat the same breakfast either. I was specifically referring to this github ticket.

I think the users have already decided, pretty much everyone uses docker already.