[petsc-dev] how all manual pages for Unix commands should begin

[Barry Smith]

lldb is the command line interface for the LLDB debugger library