Q: A Riemann surface is automatically paracompact [A question I remember from many years ago.]
Definition

A Riemann surface is a connected complex manifold $X$ of complex dimension one. This means that $X$ is a connected Hausdorff space that is endowed with an atlas of charts to the open unit disk of the complex plane: for every point $x \in X$ there is a neighbourhood of $x$ that is homeomorphic to the open unit disk of the complex plane, and the transition maps between two overlapping charts are required to be holomorphic.
source

When we define ordinary manifolds, we have to add the assumption "paracompact" if we want to rule out strange manifolds like the long line.  But that assumption is not included in the definition above.  What is a reference for the (I think I remember) fact that a Riemann surface as defined above is necessarily paracompact?

A: This is precisely the statement of Radó's theorem (modulo the standard equivalence between paracompactness and second-countability for connected manifolds). I believe there are multiple proofs available, one of which is in section 1.3 of Hubbard's book (referenced on Wikipedia.)
