release 0.7.8 to avoid hammering GitHub’s servers