Latest specification on successful travis build 31 auto-pushed to gh-pages