correctly order #pragma push when ignoring a -Wformat ("%a")
whitespace
experiment-dl.sh is actually installed "$PACKAGE_DATADIR/aghermann"
Merge branch 'master' of github.com:hmmr/aghermann