Unsure why it's capitalized in the article (it shouldn't be, consider terms like ice giant and sub-Jupiter or even the hycean planet Wikipedia page) but I'll po

Unsure why it's capitalized in the article (it shouldn't be, consider terms like ice giant and sub-Jupiter or even the hycean planet Wikipedia page) but I'll point out that there's a pun there you've missed. High seas.