If we just deleted docker compose, would anyone miss it?