I'd rather not include deprecated options just on the off-chance that someone copies it into a context where it's incorrect. I can't foresee all possible ways people are going to cargo cult the Dockerfile, and I'm not inclined to try and defend against those possibilities...