On the definition of locally compact for non-Hausdorff spaces It seems that there are different conventions in the literature as to what is a locally compact space (when the space is not supposed Hausdorff). 
The two main non equivalent definitions I've seen are : 


*

*(LC1) every point has a compact neighborhood

*(LC2) every neighborhood of any point contains a compact neighborhood of the point.
I am wondering if there is a reason as to why one might prefer one definition to another. More precisely, in practice, what definition is really useful (yields interesting results), or are they are both important in their own right ? In that case why not give a different name to those definitions ?
Naively, when one looks at the definition of locally connected space, one does not use the version (LCn1)"every point has a connected neighborhood", but always (LCn2) "every neighborhood of any point contains a connected neighborhood of the point".  Is there a deep reason as to why LCn1 is never considered, but LC1 is ?
I am aware that for Hausdorff space, LC1 and LC2 are equivalent, and since LC1 is easier to check, one might prefer that as a definition, but this argument is unconvincing if LC2 is actually more useful for non-Hausdorff space. 
 A: The notion LCn1 just boils down to "the connectedness components of the space are clopen". If this property does indeed show up somewhere, I would expect that the latter is a more convenient way of expressing it.
LC1 on the other hand does indeed seem to capture some intuition about "this space has some properties of compact spaces, but might be too large to be compact". Naming it locally compact is probably a mistake coming from the equivalence to actual local compactness in Hausdorff spaces.
A: To me, the second definition of local compactness is much to be preferred for the simple reason that such locally compact spaces $X$ are exponentiable in $Top$, meaning that $X \times -: Top \to Top$ has a right adjoint $(-)^X: Top \to Top$ (even without the Hausdorff condition), and all this implies (such as $X \times -$ preserving coequalizers). In fact the necessary and sufficient condition for exponentiability, called core compactness, is only a mild generalization of local compactness (and equivalent to it under the Hausdorff assumption). 
