We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of ω1 and in which all separable closed subspaces are Lindelöf.

All metaLindelöf, and most countably paracompact, homogeneous manifolds are Hausdorff. Metacompact manifolds are never rigid. Every countable group can be realized as the group of autohomeomorphisms of a Lindelöf manifold. There is a rigid foliation of the plane.

I survey some problems and techniques that have interested me over the years, e.g. normality vs. collectionwise normality, reflection, preservation by forcing, forcing with Souslin trees, and Lindelöf problems.