Some updates/improvements/etc. for the documentation.

See the commits for more details.

This PR should probably only be merged, after #123 has been addressed, as my updates already mention the changes to be done in #123 .