Add a comment about why we replaced --short option