(Online Seminar) A Pot-pourri of Non-negatively Curved 7-manifolds