buildtime-trend of build 7.1 synchronised with gh-pages