Hello,<br><br>this is a small patch to the UserManual page which adds the new option to show the diagnostic name.<br><br>Please review.<br>Matthieu.<br>