Github user jongyoul commented on the issue:
https://github.com/apache/zeppelin/pull/3013
@sanjaydasgupta As a longterm plan, I like to remove old button as it's not
maintained at all for now. But discussing those kinds of issues in a PR is not
proper. How about moving this discussion on dev@? We would remove old download
button if we could make a consensus on the mailing list.
BTW, personally, I give my 2 cents to remove old button. :-)---
