buildtime-trend of build 3717.4 synchronised with gh-pages