A couple of days ago, thanks to Strom's excellent book Modern Classical Homotopy Theory, I started reading up on compactly generated spaces, weak Hausdorff spaces and compactly generated weak Hausdorff spaces (the best decision in my life so far). The classical article by Steenrod A Convenient Category of Topological Spaces and Strickland's openly available exposition The Category of CGWH Spaces have been extremely valuable resources.
Not only have these texts shown me there is a conceptually satisfying way to deal with the topology in algebraic topology without any funny business, but for the first time ever, I understand the importance of the categorical viewpoint (and Yoneda's lemma).
I have several times tried to grasp algebraic topology in the past, and have gone some way each time, however I was always held back by the topology, and have come to StackExchange on a couple occasions to ask questions. I learnt about classifying spaces for vector bundles and principal bundles and thus know of the usefulness of paracompact spaces, so I want to know wether my new paradise (the category of CGWH spaces) contains them.
1) Are paracompact (resp. regular, normal...) spaces compactly generated?
1') Are paracompact (resp. regular, normal...) Hausdorff spaces compactly generated?
2) If not, is the $k$-ification of a paracompact (resp. regular, normal...) space still paracompact (resp. regular, normal...)?
3) Are there free online resources that give a thorough account of paracompactness and other such separation properties (such as regularity, normality, metrizability) and their interplay?
The article on nLab linked me to a set of lecture notes I have thus far only saved on my pc (http://www.helsinki.fi/~hjkjunni/ the top.$1$ to top.$10$).