blog/google: putting blog entries in git yay
topology/coverings: general lifting proved