Piwik instead of Google Analytics for manual.seafile.com?

[daniel.pan]

The manual website uses GitBook. It is not hosted by our own.