That's the recipe I have.
You can use table salt if you want. The main difference is whether they added iodine or not.
Here:
The main differences between sea salt and table salt are in their taste, texture and processing.
Sea salt is produced through evaporation of ocean water or water from saltwater lakes, usually with little processing. Depending on the water source, this leaves behind certain trace minerals and elements. The minerals add flavor and color to sea salt, which also comes in a variety of coarseness levels.
Table salt is typically mined from underground salt deposits. Table salt is more heavily processed to eliminate minerals and usually contains an additive to prevent clumping. Most table salt also has added iodine, an essential nutrient that helps maintain a healthy thyroid.
Sea salt vs. table salt: What's the difference?