Fix stale link to documentation in master