alggeo/hartshorne-i: starting hartshorne solutions file, let's see how long this lasts
topology/coverings: nearly done with lifting things