Did you read the entire site where you read that you should use the Highest ISO? Because they are right, and your application is wrong. In star photography noise is your friend, your darling, the creator of your images, and you need to nurture it too to get even remotely decent results.
If you're taking 1 single image of the sky the answer is to turn on long exposure NR and use the highest ISO you can bear for noise. On my camera that would be ISO200 for a long exposure of stars. The goal is to get the most brightness in the image without causing excessive noise.
If on the other hand you're trying to get deep and detailed images of stars then what you're after is the highest ISO your camera can produce by non artificial means. For me this is ISO1600, and not "Hi 1.0" which would be ISO3200 equivalent. The result is an image that looks so noisy you probably can't see the stars. Then you take 100 more, and make sure noise reduction is off.
The key to getting deep detailed images of the cosmos is to use the statistical nature of noise to capture photons that would otherwise not be recorded. When you take High ISO shots you end up with a lot of noise, but when you STACK high ISO shots together and take the average value the noise disappears, and what is left is the anomalies in the statistics from the stray photons hitting the sensor. This will show you a starfield you would never have thought was recordable. This is how amateur astro photographers are able to take photos of things like the Andromeda galaxy from their backyards. The best image I ever saw was recorded over a period of about 1 week. The photographer took ~20 images several minutes each every night and stacked the result.
If you want to know more about the method head over to Deep Sky Image Stacker website. The software is free.