Removing extra blank lines in docs that serve
no purpose, as well as some --- lines that also
are not needed.