Thread:ThunderStar321/@comment-35546951-20181001164639/@comment-26434953-20181003022649

I don't even remember why it got renamed. I think Lava Lakes/Lava Lake works out either way considering it still gets the point across. Are/is is fine, doesn't particularly matter.