Does anyone reading this use Eclipse with PETSc? If so, it would be very helpful to have your input in updating the relevant section of the manual! https://bitbucket.org/petsc/petsc/src/2c3da9953db2152e46e186ff7b209b4a6704b1a0/src/docs/tex/manual/part2.tex?at=master&fileviewer=file-view-default#part2.tex-7978