3/4 teaspoon fine sea salt (or to taste but don't skimp too much because it doesn't taste right without enough salt)