replaced SpecMe with QED
unify master with gh-pages