A core-compact, non-locally compact space

Last time, I had announced that we would do Exercise V-5.25 of the red book, constructing a core-compact, yet not locally compact, space.  And this is exactly what we shall do: read the full post.