Recent Developments in Noncommutative Algebraic Geometry: "Categorical non-properness and categorical formal punctured neighborhoods of infinity in wrapped Floer theory"