It so happens that instead of having things cool down and prepare for the
release, development has instead accelerated with 1473 commits from the
previous beta. For this reason, we are going to do a final beta for 0.8.0,
aiming to release full 0.8.0 by…