Links and minor fixes in documentation