[BUG #7145] Added sequence diagram to the manual page.