buildtime-trend of build 3712.2 synchronised with gh-pages