[BUG #7145] Added manual page.