Thank you for housekeeping the dead branches!

[ddimitrov (Dimitar Dimitrov)]

Because of the old release stabilization branches, it was a bit of a pain to figure what is going on in GitHub.
Thank you for cleaning these up!