buildtime-trend of build 10.1 synchronised with gh-pages