[petsc-users] PETSc Discord server

[Barry Smith]

   We are experimenting with using Discord as our PETSc chat space. PETSc users 
are welcome to join us there https://discord.gg/TAmq3kvB

   Barry