I can't find this information in the official docs. To buy a new nozzle I should know the pitch of its thread.
I'm aware I can guess its size "measuring" it with a caliper, but since it's a specific feature of a commercial product I wonder if it's stated somewhere.