Some updates/improvements/etc. for the documentation.

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