Add a few things here and there

Feel free to merge just some of them. Don't forget to update the pdf file in the repository after merging.