Immediately after switching the page, it will work with CSR.
Please reload your browser to see how it works.
https://en.wikipedia.org/wiki/Lunar_swirls
Edit: I should point out, If there are lava tubes, it means there are likely caves. Caves can have atmospheres.
The authors go into fascinating detail about what it takes to build planetary settlements, and they not only focus on the engineering questions but make a point to talk about the legal aspects of space settlement as well.
I thought this was completely crazy. There are no ecosystems to protect, no endangered species, no green living things. Moving development from Earth into space should count as an overwhelming win for the environment.