buildtime-trend of build 3894.7 synchronised with gh-pages