Comment by adrian_b

The original text linked by another poster says "salt as desired".

So the quantity of salt is not specified in the original recipe, therefore it could be the same as any present cook would choose.