Added links to definitions in the user manual