Slight update to the user documentation (partly addresses #186).