Fixing typos here and there... adding links and other invisible changes. :-)

This editor is a WikiGnome.