Github user felixcheung commented on the issue:
https://github.com/apache/zeppelin/pull/2831
of course, let's do the right thing. feel free to ping me in all PR, but
generally I should get to it within a day, at least for the next few months. :)---
