alt Hacker NewsCorrect me if I'm mistaken, but weren't pencils ruled out by NASA because of the dust they create when they write? The toilet engineering could be a similar situation. These people are professionals, we should not assume they built it like this for no reason.
The dust while writing doesn't matter. You can still write with a rounded tip. The problem is sharpening the pencil.