Comment by flavenstein

There's also π-Base which is a community-maintained extension of the book. It's pretty fun to explore.

https://topology.pi-base.org/