Understanding Operating System Requirements for Docker Images: Do You Need to Specify OS for Every Docker Image? 05-10