internal documentation proofreading

fixing typos and checking facts against the current master

Signed-off-by: Loic Dachary <loic@dachary.org>