jmc@ modified lib/libc/stdio/stdio.3: rework some fflush text, as requested From: Edward tweaks From: Tim van der Molen