Dialyzer fixes, doc updates, overview paste.