Mention that stg-delete-top is deprecated.