Removed parts of the documentation obsolete due to the recent fix.

Also cleaned and fixed the documentation in general.