Github user felixcheung commented on the issue:
https://github.com/apache/zeppelin/pull/3158
I see. might be good to get some consensus first - we seem to be doing
quite a bit of style changes in the last few months, it would make maintenance
or backporting harder, for example.---
