Trying to make GitHub site deployment to work.
Improvements on the documentation.