Tips is almost done.
Improved the Welcome feature.
Added a mixpanel track in Tips.
Fixed sth not that important but important to me.
Fixed an tiny issue for the future.
Move finger.js code into demo.js
No need for that line.
Fixed search-more.
Merge branch 'devel'