Yeah. I read that too. A few later articles conflicted. First somebody commented that pencils wouldn’t work in space because the dust from sharpening them would contaminate the contained atmosphere in a weightless environment. Next another reminded everybody that mechanical pencils don’t need sharpening.Interesting comment about ball point pens. Apparently a lot of money and research was spent on developing pens that would operate without problems in space. The Russians used pencils.